An algebraic semantics for structured transition systems and its application to logic programs

This publication has 11 references indexed in Scilit:

• Axiomatizing net computations and processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A categorical manifesto
  Mathematical Structures in Computer Science, 1991
• Petri nets are monoids
  Information and Computation, 1990
• The category of sketches as a model for algebraic semantics
  Contemporary Mathematics, 1989
• Sequential and concurrent behaviour in Petri net theory
  Theoretical Computer Science, 1987
• PARLOG: parallel programming in logic
  ACM Transactions on Programming Languages and Systems, 1986
• Formal verification of parallel programs
  Communications of the ACM, 1976
• The basic algebraic structures in categories of derivations
  Information and Control, 1975
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
  Proceedings of the National Academy of Sciences, 1963
• A lattice-theoretical fixpoint theorem and its applications
  Pacific Journal of Mathematics, 1955