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
3241992
Petri net algebra
E Best, R Devillers, M Koutny
Springer Science & Business Media, 2013
2542013
Concurrent bisimulations in Petri nets
E Best, R Devillers, A Kiehn, L Pomello
Acta Informatica 28 (3), 231-264, 1991
1741991
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
851993
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
651996
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
441992
A unified model for nets and process algebras
E Best, R Devillers, M Koutny
Handbook of Process Algebra, 873-944, 2001
432001
The box algebra= Petri nets+ process expressions
E Best, R Devillers, M Koutny
Information and Computation 178 (1), 44-100, 2002
392002
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
352008
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
342014
Game interpretation of the deadlock avoidance problem
R Devillers
Communications of the ACM 20 (10), 741-745, 1977
321977
S-invariant analysis of general recursive Petri boxex
R Devillers
Acta Informatica 32 (4), 313-345, 1995
301995
Fully concurrent bisimulation
E Best, R Devillers, A Kiehn, L Pomello
Acta Informatica 28, 231-261, 1991
301991
Concurrent behaviour: sequences, processes and programming languages
E Best, R Devillers
Gesellschaft für Mathematik und Datenverarbeitung, 1985
301985
The system can't perform the operation now. Try again later.
Articles 1–20