The semantics of the combination of atomized statements and parallel choice

DOI10.1007/BF01211458zbMath0905.68086MaRDI QIDQ1267037

Peter M. W. Knijnenburg, Joost N. Kok

Publication date: 26 January 1999

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

process algebraatomizing brackets

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

A temporal programming model with atomic blocks based on projection temporal logic ⋮ Unnamed Item

Uses Software

• GHC

Cites Work

• Comparative semantics for flow of control in logic programming without logic
• A\(^ 2\)CCS: Atomic actions for CCS
• Comparative metric semantics for concurrent PROLOG
• PARLOG: parallel programming in logic
• Process algebra for synchronous communication
• On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces
• 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: The semantics of the combination of atomized statements and parallel choice