Volume 29; Issue 6-7

Acta Informatica

Volume 29; Issue 6-7
1

Analysis of a class of communicating finite state machines

Wuxu Peng, S. Purushothaman
Journal:
Acta Informatica
Year:
1992
Language:
english
File:
PDF, 1.35 MB
english, 1992
3

Deterministic sequential functions

T. Harju, H. C. M. Kleijn, M. Latteux
Journal:
Acta Informatica
Year:
1992
Language:
english
File:
PDF, 540 KB
english, 1992
4

Elementary transition systems and refinement

M. Nielsen, G. Rozenberg, P. S. Thiagarajan
Journal:
Acta Informatica
Year:
1992
Language:
english
File:
PDF, 1.05 MB
english, 1992
5

Naive asymptotics for hitting time bounds in Markov chains

Vernon Rego
Journal:
Acta Informatica
Year:
1992
Language:
english
File:
PDF, 649 KB
english, 1992
6

Two impossibility theorems on behaviour specification of abstract data types

Oliver Schoett
Journal:
Acta Informatica
Year:
1992
Language:
english
File:
PDF, 1.40 MB
english, 1992
8

Expressibility of output equals input

Leo Marcus, Telis Menas
Journal:
Acta Informatica
Year:
1992
Language:
english
File:
PDF, 1.05 MB
english, 1992
9

On the lengths of values in a finite transducer

Andreas Weber
Journal:
Acta Informatica
Year:
1992
Language:
english
File:
PDF, 1.46 MB
english, 1992