Pages that link to "Item:Q2843729"
From MaRDI portal
The following pages link to \textsc{CoCasl} at work -- modelling process algebra (Q2843729):
Displaying 6 items.
- CoCasl (Q24995) (← links)
- A coalgebraic approach to the semantics of the ambient calculus (Q860882) (← links)
- CSP, partial automata, and coalgebras. (Q1603814) (← links)
- CSP-CASL -- a new integration of process algebra and algebraic specification (Q2368940) (← links)
- Fundamental Approaches to Software Engineering (Q5316440) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900832) (← links)