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

DOI10.1016/0304-3975(92)90087-VzbMath0756.68075MaRDI QIDQ1199528

Ugo Montanari, Andrea Corradini

Publication date: 16 January 1993

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

categorical semanticsstructured transition systems

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Logic programming (68N17)

Related Items

Tiles for Reo, A basic algebra of stateless connectors, A new framework for declarative programming, Models of Computation: A Tribute to Ugo Montanari’s Vision, A semantic framework for open processes, Categorical rewriting of term-like structures, A coalgebraic presentation of structured transition systems, Observational congruences for dynamically reconfigurable tile systems, Axiomatizing permutation equivalence, A Connector Algebra for P/T Nets Interactions, On the algebraic structure of declarative programming languages, An abstract machine for concurrent modular systems: CHARM, Compositional SOS and beyond: A coalgebraic view of open systems, Comparing logics for rewriting: Rewriting logic, action calculi and tile logic

Uses Software

• PARLOG
• GHC

Cites Work

• Petri nets are monoids
• Sequential and concurrent behaviour in Petri net theory
• A calculus of communicating systems
• Fundamentals of artificial intelligence. An advanced course
• A structural approach to operational semantics
• A compositional proof system on a category of labelled transition systems
• A lattice-theoretical fixpoint theorem and its applications
• PARLOG: parallel programming in logic
• The basic algebraic structures in categories of derivations
• Formal verification of parallel programs
• A categorical manifesto
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item