CONCUR 2004 - Concurrency Theory

DOI10.1007/B100113zbMath1099.68586OpenAlexW2499482941MaRDI QIDQ5311475

Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely

Publication date: 23 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b100113

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Aspects preserving properties ⋮ Aspect Categories and Classes of Temporal Properties

This page was built for publication: CONCUR 2004 - Concurrency Theory