Testing, betting and timed true concurrency

This publication has 10 references indexed in Scilit:

• Experimenting with Process Equivalence
  Published by Springer Nature ,1990
• An introduction to event structures
  Published by Springer Nature ,1989
• The equational theory of pomsets
  Theoretical Computer Science, 1988
• Concurrent histories: A basis for observing distributed systems
  Journal of Computer and System Sciences, 1987
• Testing equivalences for event structures
  Published by Springer Nature ,1987
• A strong part of concurrency
  Published by Springer Nature ,1987
• A timed failures model for extended communicating processes
  Published by Springer Nature ,1987
• Observation equivalence as a testing equivalence
  Theoretical Computer Science, 1987
• On interprocess communication
  Distributed Computing, 1986
• A term model for synchronous processes
  Information and Control, 1981