Deterministic asynchronous automata

Publisher Website

1 January 1985

book chapter
Published by Springer Nature

p. 89-98
https://doi.org/10.1007/3-540-15641-0_26

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

Adequate path expressions
Published by Springer Nature ,2005
Synchronized behaviours of processes and rational relations
Acta Informatica, 1982
Event structure semantics for CCS and related languages
Published by Springer Nature ,1982
A Calculus of Communicating Systems
Lecture Notes in Computer Science, 1980
COSY ? a system specification language based on paths and processes
Acta Informatica, 1979
Concurrent Program Schemes and their Interpretations
DAIMI Report Series, 1977