High level expressions with their SOS semantics

DOI10.1007/3-540-63141-0_20zbMath1512.68169MaRDI QIDQ6044124

Hanna Klaudel, Robert-C. Riemann

Publication date: 17 May 2023

Published in: CONCUR '97: Concurrency Theory (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

M-nets: a survey

Cites Work

• A refined view of the box algebra
• A class of composable high level Petri nets
• Unnamed Item
• Unnamed Item

This page was built for publication: High level expressions with their SOS semantics