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

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