Pages that link to "Item:Q914405"
From MaRDI portal
The following pages link to Algebraic specification of concurrent systems (Q914405):
Displaying 6 items.
- Stepwise development of process-algebraic specifications in decorated trace semantics (Q816202) (← links)
- Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings (Q1187686) (← links)
- An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation (Q3400541) (← links)
- Algebraic laws for nondeterminism and concurrency (Q3766826) (← links)
- (Q4255593) (← links)
- Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives (Q5096765) (← links)