Parallel programming in maude

This publication has 29 references indexed in Scilit:

• 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
• The gamma model and its discipline of programming
  Science of Computer Programming, 1990
• Petri nets are monoids
  Information and Computation, 1990
• A relational notation for state transition systems
  IEEE Transactions on Software Engineering, 1990
• The family of concurrent logic programming languages
  ACM Computing Surveys, 1989
• Linda in context
  Communications of the ACM, 1989
• Extensions and foundations of object-oriented programming
  ACM SIGPLAN Notices, 1986
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
  Journal of the ACM, 1980
• Initial Algebra Semantics and Continuous Algebras
  Journal of the ACM, 1977