Connections between a concrete and an abstract model of concurrent systems

This publication has 10 references indexed in Scilit:

• Compositional relational semantics for indeterminate dataflow networks
  Published by Springer Nature ,2005
• On the relations computable by a class of concurrent automata
  Published by Association for Computing Machinery (ACM) ,1990
• A proof of the Kahn principle for input/output automata
  Information and Computation, 1989
• Concurrent transition systems
  Theoretical Computer Science, 1989
• A Non-Interleaving Semantics for CCS Based on Proved Transitions
  Fundamenta Informaticae, 1988
• Theory of traces
  Theoretical Computer Science, 1988
• Computations, residuals, and the power of indeterminacy
  Published by Springer Nature ,1988
• Concurrent transition system semantics of process networks
  Published by Association for Computing Machinery (ACM) ,1987
• Deterministic asynchronous automata
  Published by Springer Nature ,1985
• Minimal and Optimal Computations of Recursive Programs
  Journal of the ACM, 1979