Invariants and paradigms of concurrency theory

This publication has 15 references indexed in Scilit:

• Sequential and concurrent behaviour in Petri net theory
  Theoretical Computer Science, 1987
• A formal semantics for concurrent systems with a priority relation
  Acta Informatica, 1987
• On interprocess communication
  Distributed Computing, 1986
• Modeling concurrency with partial orders
  International Journal of Parallel Programming, 1986
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Interval graphs and interval orders
  Discrete Mathematics, 1985
• Concurrent behaviour: Sequences, processes and axioms
  Published by Springer Nature ,1985
• A methodology for programming with concurrency: An informal presentation
  Science of Computer Programming, 1982
• Event structure semantics for CCS and related languages
  Published by Springer Nature ,1982
• Intransitive indifference with unequal indifference intervals
  Journal of Mathematical Psychology, 1970