scientific article; zbMATH DE number 1973989

MaRDI QIDQ4422085zbMATH OpenFDO

Authors Hubert Garavel, Frédéric Lang

Publication date 3 September 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2529/25290276.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A LISP implementation of the model for ‘communicating sequential processes’
• Denotational semantics of program schemas for languages for communicating sequential processes
• Communicating Sequential Processes. The First 25 Years
• A Theory of Communicating Sequential Processes
• scientific article; zbMATH DE number 4062561
• Axiomatic semantics of communicating sequential processes
• Denotational semantics of communicating sequential programs
• A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes
• Symbolic Reachability for Process Algebras with Recursive Data Types

Cited in

(5)

• scientific article; zbMATH DE number 1629934 (Why is no real title available?)
• Reflections on the future of concurrency theory in general and process calculi in particular
• Towards property oriented testing
• Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
• Revisiting sequential composition in process calculi

Describes a project that uses

Uses Software

• STG
• E-LOTOS
• IF-2.0
• LTL2BA
• SPIN

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4422085)