scientific article; zbMATH DE number 1424057

zbMath0944.68123MaRDI QIDQ4945248

Paul Gastin, Michael W. Mislove

Publication date: 23 March 2000

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

zbMATH Keywords

semantic models for true concurrency

Mathematics Subject Classification ID

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

Related Items (2)

A truly concurrent semantics for a process algebra using resource pomsets ⋮ Resource traces: A domain for processes sharing exclusive resources.

This page was built for publication: