The following pages link to Manfred Broy (Q213032):
Displaying 16 items.
- A Theory of System Interaction: Components, Interfaces, and Services (Q4928700) (← links)
- (Q4934620) (← links)
- A Model of Dynamic Systems (Q5170742) (← links)
- Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence (Q5187823) (← links)
- Pragmatic Formal Specification of System Properties by Tables (Q5256357) (← links)
- On the Role of Logic and Algebra in Software Engineering (Q5261837) (← links)
- A Functional Calculus for Specification and Verification of Nondeterministic Interactive Systems (Q5305640) (← links)
- (Q5447362) (← links)
- Interaction and Realizability (Q5448764) (← links)
- Mechanizing Mathematical Reasoning (Q5717452) (← links)
- From Chaos to Undefinedness (Q5757921) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900950) (← links)
- Exercises for the introduction to computer science (Q5948016) (← links)
- Specification and verification of concurrent systems by causality and realizability (Q6049931) (← links)
- Refining the Safety-Liveness Classification of Temporal Properties According to Realizability (Q6488336) (← links)
- Edsger W. Dijkstra as a lecturer in Marktoberdorf (Q6624655) (← links)