scientific article; zbMATH DE number 3956422
From MaRDI portal
Publication:3725533
Recommendations
Cited in
(16)- Timed-pNets: a communication behavioural semantic model for distributed systems
- Enabling synchronous and asynchronous communications in CSP for SOC
- Sémantique asynchrone et comportements infinis en CPS
- scientific article; zbMATH DE number 3956416 (Why is no real title available?)
- Synthesis of communicating process skeletons from temporal-spatial logic specifications
- scientific article; zbMATH DE number 4112564 (Why is no real title available?)
- scientific article; zbMATH DE number 4041249 (Why is no real title available?)
- Denotational semantics of communicating sequential programs
- Semantics of communicating processes
- Observed Communication Semantics for Classical Processes
- scientific article; zbMATH DE number 4149528 (Why is no real title available?)
- scientific article; zbMATH DE number 4050949 (Why is no real title available?)
- Temporal communication graphs: Lamport's process-time graphs augmented for the purpose of mapping and scheduling
- Denote CSP with temporal formulas
- scientific article; zbMATH DE number 3846849 (Why is no real title available?)
- Temporal semantics for concurrent METATEM
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 Q3725533)
