Concurrent behaviour: Sequences, processes and axioms

This publication has 19 references indexed in Scilit:

• Free choice systems have home states
  Acta Informatica, 1984
• D-continuous causal nets: A model of non-sequential processes
  Theoretical Computer Science, 1983
• The non-sequential behaviour of Petri nets
  Information and Control, 1983
• Synchronization of concurrent processes without globality assumptions
  ACM SIGPLAN Notices, 1981
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981
• A formal model of atomicity in asynchronous systems
  Acta Informatica, 1981
• Concurrency
  1980
• Elements of general net theory
  1980
• Communicating sequential processes
  Communications of the ACM, 1978
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976