A basic-net algebra for program semantics and its application to occam

This publication has 10 references indexed in Scilit:

• Petri net semantics of priority systems
  Theoretical Computer Science, 1992
• Nets, Terms and Formulas
  Published by Cambridge University Press (CUP) ,1991
• Detection of Ada static deadlocks using Petri net invariants
  IEEE Transactions on Software Engineering, 1989
• Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets
  Published by Springer Nature ,1989
• A formal semantics for concurrent systems with a priority relation
  Acta Informatica, 1987
• CCS is an (augmented) contact free C/E system
  Published by Springer Nature ,1987
• Denotational semantics for occam
  Published by Springer Nature ,1985
• On the relationship of CCS and petri nets
  Published by Springer Nature ,1984
• A new definition of morphism on Petri nets
  Lecture Notes in Computer Science, 1984
• An algebra for parallelism based on petri nets
  Published by Springer Nature ,1978