Pages that link to "Item:Q1187686"
From MaRDI portal
The following pages link to Algebraic methods: theory, tools and applications. Workshop, held on June 9-11, 1987 in Passau, FRG. Proceedings (Q1187686):
Displaying 6 items.
- Interface theories for concurrency and data (Q549177) (← links)
- Algebraic specification of concurrent systems (Q914405) (← links)
- How to make algebraic specifications more understandable: An experiment with the PLUSS specification language (Q1124317) (← links)
- Algebraic specification of reactive systems (Q1575270) (← links)
- The data type variety of stack algebras (Q1891249) (← links)
- Overview of algebraic specification languages, environments and tools, and algebraic specifications of software systems (Q3971276) (← links)