scientific article; zbMATH DE number 3928330
From MaRDI portal
Publication:3702497
Recommendations
Cited in
(30)- A CSP model with flexible parallel termination semantics
- On the suitability of trace semantics for modular proofs of communicating processes
- Specification-oriented semantics for communicating processes
- The incompleteness of Misra and Chandy's proof systems
- Sémantique asynchrone et comportements infinis en CPS
- Proof systems for infinite behaviours
- Axiomatizing recursion-free, regular monitors
- A singleton failures semantics for communicating sequential processes
- Symbolic Semantics for Multiparty Interactions in the Link-Calculus
- Observed Communication Semantics for Classical Processes
- Of wlp and CSP
- scientific article; zbMATH DE number 4018374 (Why is no real title available?)
- scientific article; zbMATH DE number 3846840 (Why is no real title available?)
- scientific article; zbMATH DE number 3902015 (Why is no real title available?)
- scientific article; zbMATH DE number 3926215 (Why is no real title available?)
- scientific article; zbMATH DE number 3963182 (Why is no real title available?)
- scientific article; zbMATH DE number 4062561 (Why is no real title available?)
- Readies and Failures in the Algebra of Communicating Processes
- scientific article; zbMATH DE number 4001462 (Why is no real title available?)
- scientific article; zbMATH DE number 1418350 (Why is no real title available?)
- Separation Logic Semantics for Communicating Processes
- Communicating Sequential Processes. The First 25 Years
- A Complete Axiomatic Semantics for the CSP Stable-Failures Model
- Step failures semantics and a complete proof system
- Unique fixpoint induction for message-passing process calculi
- Philosophers May Dine - Definitively!
- A weakest precondition semantics for communicating processes
- Semantics of communication in simple multimodular programs
- A linear-history semantics for languages for distributed programming
- Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\)
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 Q3702497)
