NTIF: A general symbolic model for communicating sequential processes with data

DOI10.1007/3-540-36135-9_18MaRDI QIDQ4422085zbMATH OpenFDO

Authors Hubert Garavel, Frédéric Lang

Publication date 3 September 2003

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

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)

• Implementing symbolic models for value passing in TwoTowers
• 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: NTIF: A general symbolic model for communicating sequential processes with data

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