The following pages link to (Q3774958):
Displaying 13 items.
- Step failures semantics and a complete proof system (Q582133) (← links)
- Failures semantics based on interval semiwords is a congruence for refinement (Q757073) (← links)
- A partial ordering semantics for CCS (Q914400) (← links)
- Step semantics for ``true'' concurrency with recursion (Q916408) (← links)
- A distributed operational semantics of CCS based on condition/event systems (Q1110338) (← links)
- Partial ordering models for concurrency can be defined operationally (Q1111013) (← links)
- A true concurrency model of CCS semantics (Q1802071) (← links)
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions (Q2340255) (← links)
- Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP (Q3449628) (← links)
- Pierpaolo Degano (Q3460854) (← links)
- Asynchronous Traces and Open Petri Nets (Q3460864) (← links)
- Ugo Montanari and Concurrency Theory (Q3507376) (← links)
- Modelling mutual exclusion in a process algebra with time-outs (Q6053409) (← links)
