The following pages link to (Q4029584):
Displaying 21 items.
- A non-SOS operational semantics for a process algebra (Q293405) (← links)
- A multiset semantics for the pi-calculus with replication (Q672867) (← links)
- From algebra to operational semantics (Q1209325) (← links)
- Locality based semantics for process algebras (Q1357807) (← links)
- Special issue: Process algebra (Q1607490) (← links)
- Modular specification of process algebras (Q1802074) (← links)
- Process algebra for modal transition systemses (Q2917271) (← links)
- A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources (Q3178291) (← links)
- Structured CSP – A Process Algebra as an Institution (Q3591065) (← links)
- Ready-Trace Semantics for Concrete Process Algebra with the Priority Operator (Q3763573) (← links)
- (Q4038732) (← links)
- (Q4494259) (← links)
- Contradiction-Tolerant Process Algebra with Propositional Signals (Q4599814) (← links)
- (Q4727412) (← links)
- (Q4896650) (← links)
- Interpreted Systems Semantics for Process Algebra with Identity Annotations (Q4914519) (← links)
- (Q4965857) (← links)
- (Q4986264) (← links)
- A Generic Process Algebra (Q5262952) (← links)
- Fundamental Approaches to Software Engineering (Q5428888) (← links)
- High level expressions with their SOS semantics (Q6044124) (← links)