A general theory of action languages

DOI10.1007/BF02911258zbMath0920.68024OpenAlexW2116166443MaRDI QIDQ1286273

David Gilbert, Alexander Letichevsky

Publication date: 13 September 1999

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02911258

zbMATH Keywords

action languageaction-based languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (3)

Generating symbolic traces in the insertion modeling system ⋮ Unnamed Item ⋮ Deductive tools of an algebraic programming system

Cites Work

• Algebraic semantics
• A domain equation for bisimulation
• A process algebra for synchronous concurrent constraint programming
• CIRCAL and the representation of communication, concurrency, and time
• Process algebra for synchronous communication
• Initial Algebra Semantics and Continuous Algebras
• Decidability of bisimulation equivalence for normed pushdown processes
• Truly concurrent constraint programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A general theory of action languages