Volume 23, Issue 4 | Discrete Event Dynamic Systems

Search all Discrete Event Dynamic Systems articles

Volume 23, Issue 4

December 2013

Modeling of Reactive Systems

Issue Editors:

Étienne Craye,
Abdoulaye Gamatié

4 articles in this issue

Special section on modeling of reactive systems
Étienne Craye
Abdoulaye Gamatié
EditorialNotes 17 May 2013 Pages: 341 - 342
Operational semantics of a domain specific language for real time musician–computer interaction
José Echeveste
Arshia Cont
Florent Jacquemard
OriginalPaper 26 April 2013 Pages: 343 - 383
Integrating discrete controller synthesis into a reactive programming language compiler
Gwenaël Delaval
Eric Rutten
Hervé Marchand
OriginalPaper 20 April 2013 Pages: 385 - 418
Shrinking of Time Petri nets
Didier Lime
Claude Martinez
Olivier H. Roux
OriginalPaper 01 March 2013 Pages: 419 - 438