#### Filter Results:

- Full text PDF available (86)

#### Publication Year

1994

2018

- This year (5)
- Last 5 years (30)
- Last 10 years (64)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Sjouke Mauw, Michel A. Reniers
- SDL Forum
- 1997

We study High-level Message Sequence Charts â€“ a concept incorporated into MSC96 for composing MSCs explicitly. A formal semantics is given which extends the accepted process algebra semantics ofâ€¦ (More)

- Sjouke Mauw, Michel A. Reniers
- Comput. J.
- 1994

Reduction and Topology, p. 28. Non Interleaving Process Algebra, p. 17. Design and Analysis of<lb>Dynamic Leader Election Protocols<lb>in Broadcast Networks, p. 73. A general conservative extensionâ€¦ (More)

- Dirk A. van Beek, Ka Lok Man, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers
- J. Log. Algebr. Program.
- 2006

The hybrid Ï‡ (Chi) formalism integrates concepts from dynamics and control theory with concepts from computer science, in particular from process algebra and hybrid automata. It integrates ease ofâ€¦ (More)

- Pieter J. L. Cuijpers, Michel A. Reniers
- J. Log. Algebr. Program.
- 2005

â€¢ A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official publishedâ€¦ (More)

We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the Î¼CRL specification language. The mCRL2â€¦ (More)

- Sjouke Mauw, Michel A. Reniers
- Computer Networks
- 1999

Recently, the ITU-standardised specification language Message Sequence Chart has been extended with constructs for more complete and structured specifications. The new version of the language isâ€¦ (More)

- Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
- Inf. Comput.
- 2005

The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Semantics (SOS) and a number ofâ€¦ (More)

- Mohammad Reza Mousavi, Michel A. Reniers, Jan Friso Groote
- Proceedings of the 19th Annual IEEE Symposium onâ€¦
- 2004

While studying the specification of the operational semantics of different programming languages and formalisms, one can observe the following three facts. Firstly, Plotkin's style of structuredâ€¦ (More)

- Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers
- CONCUR
- 2008

We propose a rule format that guarantees associativity of binary operators with respect to all notions of behavioral equivalence that are defined in terms of (im)possibility of transitions, e.g., theâ€¦ (More)