Follow
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
3791987
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
3591992
Petri net algebra
E Best, R Devillers, M Koutny
Springer Science & Business Media, 2013
2912013
Concurrent bisimulations in Petri nets
E Best, R Devillers, A Kiehn, L Pomello
Acta Informatica 28, 231-264, 1991
1881991
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
891993
The non-optimality of the monotonic priority assignments for hard real-time offset free systems
J Goossens, R Devillers
Real-Time Systems 13, 107-126, 1997
841997
Liu and Layland's schedulability test revisited
R Devillers, J Goossens
Information Processing Letters 73 (5-6), 157-161, 2000
662000
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
651986
Maximality preserving bisimulation
R Devillers
Theoretical computer science 102 (1), 165-183, 1992
561992
Maximality preservation and the ST-idea for action refinements
R Devillers
Advances in Petri Nets 1992, 108-151, 1992
461992
Feasibility intervals for the deadline driven scheduler with arbitrary deadlines
J Goossens, R Devillers
Proceedings Sixth International Conference on Real-Time Computing Systems …, 1999
451999
The box algebra= Petri nets+ process expressions
E Best, R Devillers, M Koutny
Information and Computation 178 (1), 44-100, 2002
442002
Characterisation of the state spaces of live and bounded marked graph Petri nets
E Best, R Devillers
Language and Automata Theory and Applications: 8th International Conference …, 2014
412014
Concurrent behaviour: Sequences, processes and programming languages
E Best, R Devillers
Gesellschaft für Mathematik und Datenverarbeitung, 1985
411985
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
A unified model for nets and process algebras
E Best, R Devillers, M Koutny
Handbook of Process Algebra, 873-944, 2001
372001
Game interpretation of the deadlock avoidance problem
R Devillers
Communications of the ACM 20 (10), 741-745, 1977
331977
S-invariant analysis of general recursive Petri boxex
R Devillers
Acta Informatica 32, 313-345, 1995
321995
Fully concurrent bisimulation
E Best, R Devillers, A Kiehn, L Pomello
Acta Informatica 28, 231-261, 1991
321991
The system can't perform the operation now. Try again later.
Articles 1–20