scientific article

zbMath0757.03005MaRDI QIDQ4027625

Uffe Engberg, Glynn Winskel

Publication date: 21 February 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

expressive powerlinear logic as a specification language for parallel processes

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

A logic of separating modalities, Asynchronous communication model based on linear logic, Completeness results for linear logic on Petri nets, Autonomous posets and quantales, A functorial semantics for observed concurrency, Linear constraint systems as high-level nets, Relating State-Based and Process-Based Concurrency through Linear Logic, Preface to the special volume, Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework, Relating state-based and process-based concurrency through linear logic (full-version), Modal algebra and Petri nets