Skip to main content
padlock icon - secure page this page is secure

Publisher: Springer Science and Media

Volume 29, Number 6, 1992

Analysis of a class of communicating finite state machines
pp. 499-499(1)
Authors: Peng, W.; Purushothaman, S.

Favourites:
ADD

An experience in proving regular networks of processes by modular model checking
pp. 523-523(1)
Authors: Halbwachs, N.; Lagnier, F.; Ratel, C.

Favourites:
ADD

Deterministic sequential functions
pp. 545-545(1)
Authors: Harju, T.; Kleijn, H. C. M.; Latteux, M.

Favourites:
ADD

Elementary transition systems and refinement
pp. 555-555(1)
Authors: Nielsen, M.; Rozenberg, G.; Thiagarajan, P. S.

Favourites:
ADD
Favourites:
ADD
Favourites:
ADD

Classes of systolic Y-tree automata and a comparison with systolic trellis automata
pp. 623-623(1)
Authors: Fachini, E.; Maggiolo-Schettini, A.; Sangiorgi, D.

Favourites:
ADD

Expressibility of output equals input. Negative and positive results
pp. 645-645(1)
Authors: Marcus, L.; Menas, T.

Favourites:
ADD

On the lengths of values in a finite transducer
pp. 663-663(1)
Author: Weber, A.

Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more