Conditional rewriting logic: Deduction, models and concurrency

This publication has 38 references indexed in Scilit:

• An abstract formulation for rewrite systems
  Published by Springer Nature ,2005
• From petri nets to linear logic
  Published by Springer Nature ,2005
• Net-based description of parallel object-based systems, or POTs and POPs
  Published by Springer Nature ,1991
• A mathematical approach to nondeterminism in data types
  ACM Transactions on Programming Languages and Systems, 1988
• Equality, types, modules, and (why not?) generics for logic programming
  The Journal of Logic Programming, 1984
• Oriented equational clauses as a programming language
  The Journal of Logic Programming, 1984
• Varieties of ordered algebras
  Journal of Computer and System Sciences, 1976
• Review of the elements of 2-categories
  Published by Springer Nature ,1974
• Aspects of topoi
  Bulletin of the Australian Mathematical Society, 1972
• Subequalizers
  Canadian Mathematical Bulletin, 1970