Pages that link to "Item:Q1060838"
From MaRDI portal
The following pages link to Specification-oriented semantics for communicating processes (Q1060838):
Displaying 50 items.
- Conflict-preserving abstraction of discrete event systems using annotated automata (Q351736) (← links)
- Two-thirds simulation indexes and modal logic characterization (Q352098) (← links)
- Processes with infinite liveness requirements (Q383788) (← links)
- On cool congruence formats for weak bisimulations (Q549196) (← links)
- Modal logics for communicating systems (Q578896) (← links)
- Step failures semantics and a complete proof system (Q582133) (← links)
- A note on the notation of recursion in process algebras (Q751295) (← links)
- The fixed point theory of unbounded non-determinism (Q751807) (← links)
- A partial ordering semantics for CCS (Q914400) (← links)
- Comparative metric semantics for concurrent PROLOG (Q915474) (← links)
- Step semantics for ``true'' concurrency with recursion (Q916408) (← links)
- Ready simulation for concurrency: it's logical! (Q988555) (← links)
- Processes with local and global liveness requirements (Q1007234) (← links)
- Revivals, stuckness and the hierarchy of CSP models (Q1007236) (← links)
- (Bi)simulations up-to characterise process semantics (Q1012122) (← links)
- Abstract interface behavior of object-oriented languages with monitors (Q1015384) (← links)
- Infinite streams and finite observations in the semantics of uniform concurrency (Q1091800) (← links)
- Applications of compactness in the Smyth powerdomain of streams (Q1107301) (← links)
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency (Q1107303) (← links)
- A state-based approach to communicating processes (Q1112600) (← links)
- Interpretations of recursion under unbounded nondeterminacy (Q1115173) (← links)
- Hiding in stream semantics of uniform concurrency (Q1120267) (← links)
- Towards a foundation for semantics in complete metric spaces (Q1173767) (← links)
- Correctness of concurrent processes (Q1176236) (← links)
- Adequacy-preserving transformations of COSY path programs (Q1185020) (← links)
- The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\) (Q1190479) (← links)
- Structured operational semantics and bisimulation as a congruence (Q1198952) (← links)
- From algebra to operational semantics (Q1209325) (← links)
- Basic observables for processes (Q1286368) (← links)
- On deciding trace equivalences for processes (Q1310916) (← links)
- The connection between an event structure semantics and an operational semantics for TCSP (Q1323346) (← links)
- A fully abstract trace model for dataflow and asynchronous networks (Q1333374) (← links)
- On the operational semantics of nondeterminism and divergence (Q1350504) (← links)
- Notes on the methodology of CCS and CSP (Q1391789) (← links)
- On the use of MTBDDs for performability analysis and verification of stochastic systems. (Q1400289) (← links)
- A hierarchy of failures-based models: theory and application (Q1763727) (← links)
- Modular specification of process algebras (Q1802074) (← links)
- Compositional failure-based semantic models for basic LOTOS (Q1903079) (← links)
- A linear-time branching-time perspective on interface automata (Q2182669) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Dynamic and formal verification of embedded systems: A comparative survey (Q2506271) (← links)
- Responsiveness and stable revivals (Q2642988) (← links)
- Reactive bisimulation semantics for a process algebra with timeouts (Q2687033) (← links)
- Remarks on Testing Probabilistic Processes (Q2864156) (← links)
- Ernst-Rüdiger Olderog: A Life for Meaning (Q3449620) (← links)
- Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP (Q3449628) (← links)
- Mediator Synthesis in a Component Algebra with Data (Q3449636) (← links)
- Branching vs. Linear Time: Semantical Perspective (Q3510781) (← links)
- On Synchronous and Asynchronous Interaction in Distributed Systems (Q3599113) (← links)
