Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="van Glabbeek, R.J."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On cool congruence formats for weak bisimulations
R.J. van Glabbeek
Theoretical Computer Science
412
(28), 2011, pp. 3283-3302
Configuration structures, event structures and Petri nets
R.J. van Glabbeek
,
G.D. Plotkin
Theoretical Computer Science
410
(41), 2009, pp. 4111-4159
On the expressiveness of higher dimensional automata
R.J. van Glabbeek
Theoretical Computer Science
356
(3), 2006, pp. 265-290
Erratum to ''On the expressiveness of higher dimensional automata''
R.J. van Glabbeek
Theoretical Computer Science
368
(1-2), 2006, pp. 168-194
Notes on the methodology of CCS and CSP
R.J. van Glabbeek
Theoretical Computer Science
177
(2), 1997, pp. 329-349
The meaning of negative premises in transition system specifications II
R.J. van Glabbeek
Lecture Notes in Computer Science
1099
, 1996, pp. 502-513
Configuration structures
R.J. van Glabbeek
,
G.D. Plotkin
Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science (San Diego, California, June 26-29, 1995)
, 1995, pp. 199-209
A complete axiomatization for branching bisimulation congruence of finite-state behaviours
R.J. van Glabbeek
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(GdaĆsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 473-484
Bounded nondeterminism and the approximation induction principle in process algebra
R.J. van Glabbeek
Lecture Notes in Computer Science
247
, 1987, pp. 336-347