Searching for authors named "Sjouke Mauw" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Drawing Message Sequence Charts with LaTeX
- …Drawing Message Sequence Charts with L A T E X Sjouke Mauw and Victor Bos July 11, 2001 Abstract…
- Add To MetaCart
-
A LaTeX macro package for Message Sequence Charts
- …A L A T E X macro package for Message Sequence Charts Victor Bos and Sjouke Mauw Eindhoven…
- Cited by 2 (1 self) – Add To MetaCart
-
A Prototype Tool Set for Interworkings
- …A Prototype Tool Set for Interworkings Sjouke Mauw, Thijs Winter The interworking language…
- Cited by 6 (3 self) – Add To MetaCart
-
Regularity of BPA-Systems is Decidable
- …Regularity of BPA-Systems is Decidable Sjouke Mauw and Hans Mulder Dept. of Mathematics…
- Cited by 14 (0 self) – Add To MetaCart
-
Operational semantics of security protocols
- …Operational Semantics of Security Protocols Cas Cremers and Sjouke Mauw Eindhoven University…
- Cited by 15 (2 self) – Add To MetaCart
-
Foundations of Attack Trees
- …Foundations of Attack Trees Sjouke Mauw 1 and Martijn Oostdijk 2 1 Eindhoven University…
- Cited by 6 (0 self) – Add To MetaCart
-
Delayed Choice for Process Algebra With Abstraction
- …Delayed choice for process algebra with abstraction P. R. D'Argenio 1 and S. Mauw 2 1 Depto. de…
- Add To MetaCart
-
Algebraic Specification of Dynamic Leader Election Protocols in Broadcast Networks
- … Research Laboratories Eindhoven, The Netherlands Sjouke Mauw Dept. of Math. and Comp. Sc., Eindhoven…
- Cited by 3 (0 self) – Add To MetaCart
-
Delayed choice: an operator for joining Message Sequence Charts
- …1 Delayed choice: an operator for joining Message Sequence Charts J.C.M. Baeten and S. Mauw Dept…
- Cited by 23 (5 self) – Add To MetaCart
-
Verifying Business Processes using SPIN
- …Verifying Business Processes using SPIN Wil Janssen 1 Radu Mateescu 2y Sjouke Mauw 2;3 Jan…
- Cited by 7 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
