Pages that link to "Item:Q1392290"
From MaRDI portal
The following pages link to ACP '95, international workshop on Algebra of communicating processes. Eindhoven, Netherlands, May 17--18, 1995 (Q1392290):
Displaying 5 items.
- A general conservative extension theorem in process algebras with inequalities (Q1391791) (← links)
- Computable processes and bisimulation equivalence (Q2365394) (← links)
- (Q3149261) (← links)
- (Q5757004) (← links)
- Special issue: Algebraic process calculi: the first twenty five years and beyond. Selected papers based on the presentations at the workshop, Bertinoro, Italy, August 1--5, 2005 (Q5899460) (← links)