Raymond Devillers
Raymond Devillers
Verified email at ulb.ac.be
Title
Cited by
Cited by
Year
Sequential and concurrent behaviour in Petri net theory
E Best, R Devillers
Theoretical Computer Science 55 (1), 87-136, 1987
3351987
The box calculus: a new causal algebra with multi-label communication
E Best, R Devillers, JG Hall
Advances in Petri Nets 1992, 21-69, 1992
3231992
Petri net algebra
E Best, R Devillers, M Koutny
Springer Science & Business Media, 2013
2642013
Concurrent bisimulations in Petri nets
E Best, R Devillers, A Kiehn, L Pomello
Acta Informatica 28 (3), 231-264, 1991
1751991
General refinement and recursion operators for the Petri box calculus
E Best, R Devillers, J Esparza
Annual Symposium on Theoretical Aspects of Computer Science, 130-140, 1993
821993
The non-optimality of the monotonic priority assignments for hard real-time offset free systems
J Goossens, R Devillers
Real-Time Systems 13 (2), 107-126, 1997
771997
Petri nets, process algebras and concurrent programming languages
E Best, R Devillers, M Koutny
Advanced Course on Petri Nets, 1-84, 1996
661996
Concurrent and maximally concurrent evolution of nonsequential systems
R Janicki, PE Lauer, M Koutny, R Devillers
Theoretical Computer Science 43, 213-238, 1986
571986
Maximality preserving bisimulation
R Devillers
Theoretical computer science 102 (1), 165-183, 1992
561992
Liu and Layland's schedulability test revisited
R Devillers, J Goossens
Information Processing Letters 73 (5-6), 157-161, 2000
532000
Maximality preservation and the ST-idea for action refinements
R Devillers
Advances in Petri Nets 1992, 108-151, 1992
451992
The box algebra= Petri nets+ process expressions
E Best, R Devillers, M Koutny
Information and Computation 178 (1), 44-100, 2002
402002
Feasibility intervals for the deadline driven scheduler with arbitrary deadlines
J Goossens, R Devillers
Proceedings Sixth International Conference on Real-Time Computing Systems …, 1999
391999
Power-aware real-time scheduling upon identical multiprocessor platforms
V Nélis, J Goossens, R Devillers, D Milojevic, N Navet
2008 IEEE International Conference on Sensor Networks, Ubiquitous, and …, 2008
382008
Characterisation of the state spaces of live and bounded marked graph Petri nets
E Best, R Devillers
International Conference on Language and Automata Theory and Applications …, 2014
352014
A unified model for nets and process algebras
E Best, R Devillers, M Koutny
Handbook of Process Algebra, 873-944, 2001
352001
Game interpretation of the deadlock avoidance problem
R Devillers
Communications of the ACM 20 (10), 741-745, 1977
321977
Fully concurrent bisimulation
E Best, R Devillers, A Kiehn, L Pomello
Acta Informatica 28, 231-261, 1991
311991
Concurrent behaviour: Sequences, processes and programming languages
E Best, R Devillers
Gesellschaft für Mathematik und Datenverarbeitung, 1985
311985
S-invariant analysis of general recursive Petri boxex
R Devillers
Acta Informatica 32 (4), 313-345, 1995
281995
The system can't perform the operation now. Try again later.
Articles 1–20