Pages that link to "Item:Q4162644"

The following pages link to Communicating sequential processes (Q4162644):

Displaying 50 items.

• Exploiting parallelism in coalgebraic logic programming (Q280198) (← links)
• Verification of \(\mathrm{EB}^3\) specifications using CADP (Q282110) (← links)
• A verifiable low-level concurrent programming model based on colored Petri nets (Q350966) (← links)
• Behavioural equivalences of a probabilistic pi-calculus (Q362281) (← links)
• Deciding equivalence-based properties using constraint solving (Q391121) (← links)
• A cylinder computation model for many-core parallel computing (Q391222) (← links)
• Relational properties of sequential composition of coalgebras (Q406463) (← links)
• Projection approaches to process mining using region-based techniques (Q408692) (← links)
• Using formal methods with SysML in aerospace design and engineering (Q434438) (← links)
• The infinite evolution mechanism of \(\epsilon\)-bisimilarity (Q458130) (← links)
• Mitigating covert channels based on analysis of the potential for communication (Q530557) (← links)
• Building distributed controllers for systems with priorities (Q541297) (← links)
• SOS rule formats for zero and unit elements (Q549170) (← links)
• Step failures semantics and a complete proof system (Q582133) (← links)
• A software architecture for distributed computer control systems (Q595575) (← links)
• A pure labeled transition semantics for the applied pi calculus (Q621583) (← links)
• On the power of synchronization between two adjacent processes (Q660989) (← links)
• Extensional Petri net (Q667521) (← links)
• Late and early semantics coincide for testing (Q673146) (← links)
• A brief history of Timed CSP (Q674191) (← links)
• Logical foundations for programming semantics (Q685420) (← links)
• Communicating processes with value-passing and assignments (Q688827) (← links)
• Attempting guards in parallel: A data flow approach to execute generalized guarded commands (Q688830) (← links)
• Conversation protocols: a formalism for specification and verification of reactive electronic services (Q703491) (← links)
• A formal abstract framework for modelling and testing complex software systems (Q714878) (← links)
• Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
• Efficient model checking for LTL with partial order snapshots (Q732005) (← links)
• Coordination of parallel partially ordered processes (Q734144) (← links)
• Derivation of concurrent programs by stepwise scheduling of Event-B models (Q736912) (← links)
• Data flow analysis of distributed communicating processes (Q751233) (← links)
• P-A logic - a compositional proof system for distributed programs (Q757079) (← links)
• PROCOL. A concurrent object-oriented language with protocols delegation and constraints (Q758195) (← links)
• Receptive process theory (Q758200) (← links)
• Semantics of algorithmic languages (Q760200) (← links)
• A weakest precondition semantics for communicating processes (Q789174) (← links)
• Port automata and the algebra of concurrent porcesses (Q791319) (← links)
• Parametric channels via label expressions in CCS (Q795500) (← links)
• A proof technique for parallel programs (Q796292) (← links)
• A linear-history semantics for languages for distributed programming (Q796298) (← links)
• Practical LL(1)-based parsing of van Wijngaarden grammars (Q797298) (← links)
• Global and local views of state fairness (Q804304) (← links)
• A distributed error recovery technique and its implementation and application on UNIX (Q805229) (← links)
• Specification and analysis of a data transfer protocol using systems of communicating machines (Q808228) (← links)
• A complete axiomatic semantics of spawning (Q808281) (← links)
• A formal approach to designing delay-insensitive circuits (Q808286) (← links)
• A model of concurrency with fair merge and full recursion (Q808690) (← links)
• Fault-tolerant and flexible interconnection of multiple processors (Q811113) (← links)
• A hardware independent parallel programming model (Q843208) (← links)
• Analysis of contract net in multi-agent systems (Q875967) (← links)
• Generating the syntactic and semantics graphs for a Markovian process algebra (Q879408) (← links)