%% ====================================================================
%%  BibTeX-file{
%%     author          = {Rob van Glabbeek},
%%     date            = {11 September 1997},
%%     filename        = {glabbeek.bib},
%%     url             = {http://theory.stanford.edu/~rvg/glabbeek.bib},
%%     www-home        = {http://theory.stanford.edu/~rvg},
%%     address         = {Computer Science Department,
%%                        Stanford University, CA 94305-9045,
%%                        United States of America},
%%     telephone       = {+1 650 723 4405},
%%     FAX             = {+1 650 725 4671},
%%     FTP-archive     = {ftp://boole.stanford.edu/pub},
%%     email           = {rvg at cs.stanford.edu},
%%     dates           = {--},
%%     keywords        = {Concurrency, process algebra, semantic equivalences},
%%     supported       = {yes},
%%     supported-by    = {Rob van Glabbeek},
%%     abstract        = {Bibliography for Rob van Glabbeek}
%%  }
%% ====================================================================
@string{lncs    = {\rm LNCS}}
@string{springer= {Springer-Verlag}}		% NY
@string{nholland= {North-Holland}}		% NY
@string{i&c     = "Information and Computation"}
@string{funinf  = "Fundamenta Informaticae"}
@string{eatcs   ="Bulletin of the European Association for Theoretical
	         Computer Science"} Bull. Europ. Ass. Theoretical Computer Sci.

@Article{AFGI96,
  author = 	 {L. Aceto and W.J. Fokkink and
		  Glabbeek, R.J. van and A. Ing{\'o}lfsd{\'o}ttir},
  title = 	 {Axiomatizing Prefix Iteration with Silent Steps},
  journal = 	 i&c,
  year = 	 1996,
  volume = 	 127,
  number = 	 1,
  pages = 	 {26-40},
  url =          {ftp://Boole.stanford.edu/pub/DVI/prefix.dvi.gz}
}

@Book{AGW97,
  title = 	 {Computing Natural Language},
  publisher = 	 {Center for the Study of Language and Information, Stanford University},
  year = 	 {1997},
  editor =	 {A. Aliseda and Glabbeek, R.J. van and D. Westerst{\aa}hl}
}

@techreport{BG87,
  author =	  {J.C.M. Baeten and Glabbeek, R.J. van},
  institution =	  {CWI},
  type =	  {Report},
  number =	  {CS-R8701},
  address =	  {Amsterdam},
  year =          1987,
  note =	  {Extended abstract in Th. Ottmann, editor:
		  Proceedings 14$^{\it th}$ International Colloquium on
		  {\em Automata, Languages and Programming},
 		  ICALP '96, Karlsruhe, Germany, July 1987,
 		  LNCS 267, Springer-Verlag, 1987, pp. 84--94},
  title =	  {Another look at abstraction in process algebra}
}

@inproceedings{BG87-ea,
  author =        {J.C.M. Baeten and Glabbeek, R.J. van},
  booktitle =     {{\rm Proceedings 14$^{\it th}$ International
  	           Colloquium on} Automata, Languages and Programming,
  	           {\rm ICALP '96, Karlsruhe, Germany, July 1987}},
  editor =        {Th. Ottmann},
  series =        lncs,
  volume =        267,
  year =          1987,
  month =         jul,
  publisher =     springer,
  pages =         {84--94},
  title =         {Another look at abstraction in process
	           algebra (extended abstract)}
}

@inproceedings{BG87a,
	author =	{J.C.M. Baeten and Glabbeek, R.J. van},
	booktitle =	{{\rm Proceedings $7^{th}$ Conference on}
		        Foundations of Software Technology and Theoretical
		        Computer Science, {\rm Pune, India, December 1987}},
	year =		1987,
	editor =	{K.V. Nori},
	series =	lncs,
	volume =	287,
	publisher =	springer,
	pages =		{153--172},
	title =		{Merge and termination in process algebra}
}

@article{BG89,
	author =	{J.C.M. Baeten and Glabbeek, R.J. van},
	year =		1989,
	journal =	funinf,
	pages =		{221--242},
	title =		{Abstraction and empty process in process algebra},
	volume =	{XII}
}

@InProceedings{BGG94,
  author = 	 {N. Busi and Glabbeek, R.J. van and R. Gorrieri},
  title = 	 {Axiomatising {ST}-bisimulation equivalence},
  booktitle = 	 {{\rm Proceedings IFIP TC2 Working Conference on}
		  Programming Concepts, Methods and Calculi,
		  {\rm San Miniato, Italy, June 1994}},
  editor =	 {E.-R. Olderog},
  series =	 {IFIP Transactions A-56},
  year =	 {1994},
  publisher =	 {North-Holland},
  pages =	 {169-188},
  url =		 {ftp://Boole.stanford.edu/pub/DVI/axiomst.dvi.gz},
  note =	 {Available at {\tt
		  ftp://boole.stanford.edu/\-pub/\-axiomst.ps.gz}}
}

@InCollection{CGG92,
  author = 	 {I. Czaja and Glabbeek, R.J. van and U. Goltz},
  title = 	 {Interleaving semantics and action refinement with
		  atomic choice},
  booktitle = 	 {Advances in Petri Nets 1992},
  publisher =	 springer,
  year =	 1992,
  editor =	 {G. Rozenberg},
  volume =	 {609},
  series =	 lncs,
  pages =	 {89-107},
  url =          {ftp://Boole.stanford.edu/pub/DVI/atch.dvi.gz}
}

@Article{FG96,
  author = 	 {W.J. Fokkink and Glabbeek, R.J. van},
  title = 	 {Ntyft/ntyxt rules reduce to ntree rules},
  journal = 	 i&c,
  year = 	 1996,
  volume = 	 126,
  number = 	 1,
  pages = 	 {1-10},
  url =          {ftp://Boole.stanford.edu/pub/DVI/tree.dvi.gz}
}

@TechReport{vG85,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {Good Coverings},
  institution =  {Mathematical Institute, University of Leiden},
  year = 	 {1985},
  type = 	 {Report},
  number = 	 {nr. 3},
  address = 	 {The Netherlands},
  month = 	 {January},
  action =       {submit}
}

@techreport{vG86,
	author =	{Glabbeek, R.J. van},
	year =		1986,
	month =         {September},
	institution =	{CWI},
	type =		{Report},
	number =	{CS-R8634},
	address =	{Amsterdam},
	title =		{Bounded nondeterminism and the approximation
			 induction principle in process algebra},
        note =          {Extended abstract in F.J. Brandenburg,
		  G. Vidal-Naquet \& M. Wirsing, editors:
		  Proceedings {\em STACS 87}, 4$^{\it th}$ Annual
		  Symposium on Theoretical Aspects of Computer
		  Science, Passau, Germany, February 1987,
		  LNCS 247, Springer-Verlag, 1987, pp. 336--347}
}

@inproceedings{vG87,
	author =	{Glabbeek, R.J. van},
	booktitle =	{{\rm Proceedings} STACS 87, {\rm 4$^{\it th}$ Annual
		  Symposium on Theoretical Aspects of Computer
		  Science, Passau, Germany, February 1987}},
	year =		1987,
	editor =	{F.J. Brandenburg and G. Vidal-Naquet and M. Wirsing},
	series =	lncs,
	volume =	247,
	publisher =	springer,
	pages =		{336--347},
	title =		{Bounded nondeterminism and the approximation
			 induction principle in process algebra
		         (extended abstract)}
}

@misc{vG88,
	author =	{Glabbeek, R.J. van},
	title =		{De semantiek van eindige, sequenti\"ele
			processen met interne acties},
	year =		1988,
	howpublished =	{Syllabus processemantieken, deel 2},
	note = 		{Handwritten manuscript, in Dutch},
}

@inproceedings{vG88a,
  author =	{Glabbeek, R.J. van},
  title =	{An operational non-interleaved process graph
		semantics of {CCSP} \rm (abstract)},
  editor =      {E.-R. Olderog and U. Goltz and R.J. van Glabbeek},
  year =        1988,
  booktitle =   {Combining Compositionality and Concurrency, {\rm
		Summary of a GMD-Workshop, K\"onigswinter, March 1988}},
  series =      {Arbeitspapiere der GMD 320},
  publisher = 	{Gesellschaft f\"{u}r Mathematik und Datenverarbeitung},
  address =     {Sankt Augustin},
  pages =       {18-19},
}

@inproceedings{vG90,
	author =	{Glabbeek, R.J. van},
	year =		1990,
	editor =	{M. Broy and C.B. Jones},
	booktitle = 	{{\rm Proceedings IFIP TC2 Working
		        Conference on} Programming Concepts and Methods,
		        {\rm Sea of Gallilee, Israel, April 1990}},
	publisher =	nholland,
	pages =         {27-52},
	title =		{The refinement theorem for {ST}-bisimulation semantics}
}

@TechReport{vG90a,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {The Linear Time -- Branching Time Spectrum},
  institution =	 {CWI},
  type =	 {Report},
  number =	 {CS-R9029},
  address =	 {Amsterdam},
  year = 	 1990,
  note =         {Extended abstract in J.C.M. Baeten \& J.W. Klop,
		  editors: Proceedings {\em CONCUR '90, Theories of
		  Concurrency: Unification and Extension}, Amsterdam,
		  August 1990, LNCS 458, Springer-Verlag, 1990, pp. 278--297} 
}

@phdthesis{vG90b,
  author =	{Glabbeek, R.J. van},
  address =	{Amsterdam},
  year =	1990,
  school =	{Free University},
  title =	{Comparative Concurrency Semantics and Refinement of Actions},
  url =         {http://theory.stanford.edu/~rvg/thesis.html},		  
  note =        {Second edition available as {\em CWI tract} 109, CWI,
		  Amsterdam 1996} 
}

@inproceedings{vG90c,
  author =	 {Glabbeek, R.J. van},
  booktitle =	 {{\rm Proceedings} CONCUR '90, Theories of
  	          Concurrency: Unification and Extension, {\rm
  	          Amsterdam, August 1990}},
  year =	 1990,
  editor =	 {J.C.M. Baeten and J.W. Klop},
  series =	 lncs,
  volume =	 458,
  publisher =	 springer,
  pages =	 {278--297},
  title =	 {The Linear Time -- Branching Time Spectrum
		  (extended abstract)}
}

@Misc{vG91,
  author =	 {Glabbeek, R.J. van},
  title =	 {Bisimulations for higher dimensional automata},
  howpublished = {Email message, July 7, 1991},
  year =	 {1991},  
  note =         {Available at {\tt http://theory.stanford.edu/\~{}rvg/hda}},
  url =          {http://theory.stanford.edu/~rvg/hda},	  
  annote = 	 {This is the `technical report' quoted a.o. by
		  Goubault and Jensen}
}

@inproceedings{vG93,
  author =	 {Glabbeek, R.J. van},
  title =	 {The Linear Time -- Branching Time Spectrum {II};
		  The semantics of sequential systems with silent moves
		  (extended abstract)},
  booktitle =	 {{\rm Proceedings} CONCUR'93, {\rm 4$^{\it th}$
 		  International Conference on Concurrency Theory,
		  Hildesheim, Germany, August 1993}},
  year =	 1993,
  editor =	 {E. Best},
  series =	 lncs,
  volume =	 715,
  publisher =	 springer,
  pages =	 {66--81}
}

	@InProceedings(
G93a,	Author=	"Glabbeek, R.J. van",
	Title=	"A complete axiomatization for branching bisimulation
		 congruence of finite-state behaviours",
        Booktitle="{\rm Proceedings 18$^{\it th}$ International
		  Symposium on} Mathematical Foundations of Computer
	     Science, {\rm MFCS '93, Gdansk, Poland, August/September 1993}",
	Editor=	"A.M. Borzyszkowski and S. Soko\l owski",    Pages="473-484",
	Series=	lncs, Volume=711, Publisher="Springer-Verlag", Year=1993,
	URL ="ftp://Boole.stanford.edu/pub/DVI/complete.dvi.gz",	  
	Note="Available at {\tt
	ftp://Boole.stanford.edu/\-pub/\-complete.ps.gz}")

@misc{vG93b,
  author =	 {Glabbeek, R.J. van},
  title =	 {The linear time -- branching time spectrum {II};
  		  the semantics of sequential systems with silent moves},
  year =	  1993,
  howpublished = {Manuscript. Preliminary version available by ftp at {\tt
  		  ftp://boole.stanford.edu/\-pub/\-spectrum.ps.gz}},
  url =          {ftp://Boole.stanford.edu/pub/spectrum.ps.gz},
  note = 	 {Extended abstract in E. Best, editor: Proceedings
  		 {\em CONCUR'93}, 4$^{\it th}$ International
		  Conference on Concurrency Theory, Hildesheim,
		  Germany, August 1993, LNCS 715, Springer-Verlag, pp. 66--81} 
}

@inproceedings{vG93d,
  author =	  {Glabbeek, R.J. van},
  title =	  {Full abstraction in structural operational
		  semantics (extended abstract)},
  booktitle =     {{\rm Proceedings of the $3^{rd}$ International
		  Conference on} Algebraic Methodology and Software
		  Technology, {\rm AMAST'93, Twente, The
		  Netherlands, June l993}},
  year =          1993,
  editor =        {M. Nivat and C. Rattray and T. Rus and G. Scollo},
  series =        {Workshops in Computing},
  publisher =     springer,
  pages =	  {77--84},
  url =		  {ftp://Boole.stanford.edu/pub/sos.ps.gz},
  note =          {Available at {\tt ftp://boole.stanford.edu/\-pub/\-sos.ps.gz}}
}

	@InCollection(
vG94,	Author=	"Glabbeek, R.J. van",
	Title=	"What is branching time semantics and why to use it?",
	Booktitle="The Concurrency Column",	Editor= "M. Nielsen",
	Publisher="{\em Bulletin of the EATCS} 53", Year=1994, Pages="190-198",
        URL =	"http://Theory.stanford.edu/~rvg/branching",
	Note=	"Also available as Report STAN-CS-93-1486, Stanford University,
		 1993, and by ftp at {\tt
		 ftp://Boole.stanford.edu/\-pub/\-branching.ps.gz}")

@InProceedings{vG94a,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {On the expressiveness of {ACP} (extended abstract)},
  booktitle = 	 {{\rm Proceedings First Workshop on the}
		  Algebra of Communicating Processes, {\rm ACP94,
		  Utrecht, The Netherlands, May 1994}},
  editor =	 {A. Ponse and C. Verhoef and S.F.M. van Vlijmen},
  series =	 {Workshops in Computing},
  year =	 {1994},
  publisher =	 springer,
  pages =	 {188-217},
  url =		 {ftp://Boole.stanford.edu/pub/DVI/acp.dvi.gz},
  note =	 {Available at {\tt ftp://boole.stanford.edu/\-pub/\-acp.ps.gz}}
}

@Techreport{vG95,
	Author =	"Glabbeek, R.J. van",
	Title =		"The Meaning of Negative Premises in Transition
			 System Specifications {II}", 
	Institution =	"Stanford University",
	Number =	"STAN-CS-TN-95-16",
	Year =		1995,
        URL =           "ftp://Boole.stanford.edu/pub/DVI/negative.dvi.gz",
	Note =		"Available by ftp at
		        {\tt ftp://boole.stanford.edu/\-pub/\-negative.ps.gz}.
		         Extended abstract in 
			 F. Meyer auf der Heide \& B. Monien, editors:
			 Proceedings 23$^{\it th}$ International Colloquium on
			 {\em Automata, Languages and Programming},
			 ICALP '96, Paderborn, Germany, July 1996,
			 LNCS 1099, Springer-Verlag, pp. 502--513"
}

@Misc{vG95a,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {Branching Bisimulation as a Tool in the Analysis of
		  Weak Bisimulation},
  url =          {ftp://Boole.stanford.edu/pub/DVI/tool.dvi.gz},	  
  howpublished = {Available at {\tt ftp://boole.stanford.edu/\-pub/\-tool.ps.gz}},
  year =	 {1995}
}

@Book{vG96,
  author = 	 {Glabbeek, R.J. van},
  title = 	 {Comparative Concurrency Semantics and Refinement of Actions},
  publisher = 	 {CWI},
  year = 	 1996,
  volume = 	 {109},
  series = 	 {CWI Tract},
  address = 	 {Amsterdam},
  note = 	 {Second edition of dissertation},
}

@InProceedings{vG96a,
  author =	 {Glabbeek, R.J. van},
  title = 	 {Petri Nets, Configuration Structures, Propositional
		  Theories and History Preserving Process Graphs \rm
		  (abstract)},
  booktitle = 	 {Semantics of Concurrent Systems---Foundations and
		  Applications},
  editor =	 {M. Droste and E.-R. Olderog and B. Steffen and G. Winskel},
  volume =	 {144},
  series =	 {Dagstuhl-Seminar-Report},
  year =	 {1996},
  publisher =	 {Internationales Begegnungs- und Forschungszentrum
		  f\"ur Informatik Schloss Dagstuhl},
  address =	 {Postfach 15 11 50, D-66041 Saarbr\"ucken, Germany},
  pages =	 {14-15}
}

@inproceedings{vG96b,
	author =	{Glabbeek, R.J. van},
	booktitle =	{{\rm Proceedings 23$^{\it th}$ International
		         Colloquium on} Automata, Languages and Programming, 
			 {\rm ICALP '96, Paderborn, Germany, July 1996}},
  	editor = 	{F. {Meyer auf der Heide} and B. Monien},
  	series = 	lncs,
  	volume = 	1099,
  	year = 		1996,
  	month = 	jul,
  	publisher = 	springer,
	pages =		{502--513},
	title =		{The Meaning of Negative Premises in Transition
			 System Specifications {II} (extended abstract)}
}

@Article{vG97,
  author =	 {Glabbeek, R.J. van},
  title =	 {Notes on the methodology of {CCS} and {CSP}},
  year =	 1997,
  month =        may,
  journal =       tcs,
  volume =       177,
  number =       2,
  pages =        {329-349},
  note =         {Originally appeared as Report CS-R8624, CWI, Amsterdam, 1986}
}

@InProceedings{vG97a,
  author =	 {Glabbeek, R.J. van},
  title = 	 {Axiomatizing Flat Iteration},
  booktitle =	 {{\rm Proceedings} CONCUR '97, {\rm 8$^{\it th}$
 		  International Conference on} Concurrency Theory,
		  {\rm Warsaw, Poland, July 1997}},
  editor =	 {A. Mazurkiewicz and J. Winkowski},
  series =	 lncs,
  volume =	 1243,
  year =	 1997,
  publisher =	 springer,
  month =	 may,
  pages =	 {228-242},
  note =	 {Available by ftp at {\tt ftp://boole.stanford.edu/\-pub/\-flat.ps.gz}},
  url =          {ftp://Boole.stanford.edu/pub/DVI/flat.dvi.gz}		  
}

@techreport{GG89,
	author =	{Glabbeek, R.J. van and U. Goltz},
	institution = 	{Gesellschaft f\"{u}r Mathematik und Datenverarbeitung},
	type =		{Arbeitspapiere der GMD},
	number =	366,
	address =	{Sankt Augustin},
	year =		1989,
	note =	  {Extended abstract in A. Kreczmar \& G. Mirkowska:
 		  Proceedings $14^{th}$ Symposium on {\em Mathematical
		  Foundations of Computer Science}, MFCS '89,
		  Por\c{a}bka-Kozubnik, Poland, August/September 1989,
		  LNCS 379, Springer-Verlag, pp. 237--248},
	title =		{Equivalence notions for concurrent systems and refinement of actions}
}

@article{GG89a,
	author =	{Glabbeek, R.J. van and U. Goltz},
	year =		1989,
	month =		jun,
	journal =	eatcs,
	pages =		{154--163},
	title =		{Partial order semantics for refinement of actions---neither necessary nor always sufficient but appropriate when used with care},
	volume =	38
}

@inproceedings{GG89b,
	author =	{Glabbeek, R.J. van and U. Goltz},
	year =		1989,
	booktitle =	{{\rm Proceedings $14^{th}$ Symposium on}
		  Mathematical Foundations of Computer Science, {\rm MFCS '89,
		  Por\c{a}bka-Kozubnik, Poland,
		        August/September 1989}},
	editor =	{A. Kreczmar and G. Mirkowska},
	series =	lncs,
	volume =	379,
	publisher =	springer,
	pages =		{237--248},  
	title =		{Equivalence notions for concurrent systems
		        and refinement of actions (extended abstract)}
}

@inproceedings{GG90,
	author =	{Glabbeek, R.J. van and U. Goltz},
	booktitle = 	{{\rm Proceedings REX Workshop on} Stepwise Refinement
 		        of Distributed Systems: Models, Formalism, Correctness,
			{\rm Mook, The Netherlands, May/June 1989}},
	year =		1990,
	editor =	{Bakker, J.W. de and Roever, W.P. de and G. Rozenberg},
	series =	lncs,
	volume =	430,
	publisher =	springer,
	pages =		{267--300},
	title =		{Refinement of actions in causality based models}
}

@InProceedings{GG90a,
  author = 	 {Glabbeek, R.J. van and U. Goltz},
  title = 	 {Equivalences and Refinement},
  booktitle = 	 {{\rm Proceedings} Semantics of Systems of Concurrent
		  Processes, {\rm LITP Spring School on Theoretical
		  Computer Science, La Roche Poay, France, April 1990}},
  editor =	 {I. Guessarian},
  volume =	 {469},
  series =	 lncs,
  year =	 {1990},
  publisher =	 springer,
  month =	 {April},
  pages =	 {309-333}
}

@techreport{GG90b,
	author =	{Glabbeek, R.J. van and U. Goltz},
	year =		1990,
	month =		nov,
	institution =	{Institut f\"{u}r Informatik, Technische Universit\"{a}t M\"{u}nchen},
	type =		{SFB-Bericht},
	number =	{Nr.\ 342/23/90 A},
	note =		{Abstract in {E. Best \& G. Rozenberg,
			editors}: Proceedings {\em $3^{\it rd}$ Workshop
			on Concurrency and Compositionality}, Goslar,
		        Germany, March 1991, {GMD}-Studien Nr.\ 191,
			{Gesellschaft f\"{u}r Mathematik und
		        Datenverarbeitung}, {Sankt Augustin} 1991,
		        pp. {113--116}},
	title =		{A Deadlock-sensitive Congruence for Action Refinement}
}

@inproceedings{GG91,
	author =	{Glabbeek, R.J. van and U. Goltz},
	title =		{A Deadlock-sensitive Congruence for Action
		        Refinement {\rm (abstract)}},
	booktitle =	{{\rm Proceedings} $3^{rd}$ Workshop on Concurrency and
		        Compositionality, {\rm Goslar, Germany, March 1991}},
	series =        {GMD-Studien Nr.\ 191},
	year =		1991,
	editor =	{E. Best and G. Rozenberg},
	pages =		{113--116},
	publisher =	{Gesellschaft f\"{u}r Mathematik und Datenverarbeitung},
	address =	{Sankt Augustin},		  
}

	@InProceedings(
GP95,	Author="Glabbeek, R.J. van and Plotkin, G.D.",
	Title="Configuration Structures (extended abstract)",
	Booktitle="{\rm Proceedings $10^{th}$ Annual IEEE Symposium on}
	  Logic in Computer Science, {\rm LICS'95, San Diego, USA, June 1995}",
        Editor="D. Kozen", Month="June", Pages = "199-209",
        Publisher="IEEE Computer Society Press", Year="1995",
        URL ="ftp://Boole.stanford.edu/pub/DVI/conf.dvi.gz",  
	Note="Available at {\tt ftp://boole.stanford.edu/\-pub/\-conf.ps.gz}")

@incollection{GR89, author = {Glabbeek, R.J. van and J.J.M.M. Rutten},
	booktitle = {J.W. de Bakker, 25 jaar semantiek, liber
	amicorum}, year = 1989, publisher = {CWI}, address =
	{Amsterdam}, pages = {243--246}, title = {The processes of {De
	Bakker and Zucker} represent bisimulation equivalence classes}
	}

@Article{GSS95,
  author = 	 {Glabbeek, R.J. van and S.A. Smolka and B. Steffen},
  title = 	 {Reactive, generative, and stratified models of
		  probabilistic processes},
  journal = 	 i&c,
  year = 	 1995,
  volume = 	 121,
  number = 	 1,
  pages = 	 {59-80}
}

@inproceedings{GSST90,
	author =	{Glabbeek, R.J. van and S.A. Smolka and B. Steffen
				 and C.M.N. Tofts},
  	booktitle = 	{{\rm Proceedings $5^{th}$ Annual IEEE Symposium on}
 		        Logic in Computer Science, {\rm LICS'90, Philadelphia,
		        USA, June 1990}},
  	year = 		1990,
	publisher =	{IEEE Computer Society Press},
	pages =		{130--141},
        url =           {ftp://Boole.stanford.edu/pub/DVI/prob.dvi.gz},  
	title =		{Reactive, generative, and stratified models of probabilistic processes}
}

@inproceedings{GV87,
	author =	{Glabbeek, R.J. van and F.W. Vaandrager},
	booktitle =	{{\rm Proceedings} PARLE, Parallel
		  Architectures and Languages Europe, {\rm Eindhoven,
		  The Netherlands, June 1987, Vol. II: Parallel Languages}},
	year =		1987,
	editor =	{Bakker, J.W. de and A.J. Nijman and P.C. Treleaven},
	series =	lncs,
	volume =	259,
	publisher =	springer,
	pages =		{224--242},
	title =		{Petri net models for algebraic theories of
		  concurrency (extended abstract)}
}

@TechReport{GV88,
  author = 	 {Glabbeek, R.J. van and F.W. Vaandrager},
  title = 	 {Modular specifications in process
		        algebra---with curious queues},
  institution =	 {CWI},
  type =	 {Report},
  number =	 {CS-R8821},
  address =	 {Amsterdam},
  year = 	 1988,
  note =         {Extended abstract in M. Wirsing \& J.A. Bergstra,
		  editors: {\em Algebraic Methods: Theory, Tools and
		  Applications}, LNCS 394, Springer-Verlag, 1989,
		  pp. 465--506}
}

@inproceedings{GV89,
	author =	{Glabbeek, R.J. van and F.W. Vaandrager},
	booktitle =	{Algebraic Methods: Theory, Tools and Applications},
	year =		1989,
	editor =	{M. Wirsing and J.A. Bergstra},
	series =	lncs,
	volume =	394,
	publisher =	springer,
	pages =		{465--506},
	title =		{Modular specifications in process
		        algebra---with curious queues (extended abstract)}
}

@inproceedings{GV91,
	author =	{Glabbeek, R.J. van and F.W. Vaandrager},
	title =		{The Difference Between Splitting in $n$ and
		        $n+1$ {\rm (abstract)}},
	booktitle =	{{\rm Proceedings} $3^{rd}$ Workshop on Concurrency and
		        Compositionality, {\rm Goslar, Germany, March 1991}},
	series =        {GMD-Studien Nr.\ 191},
	year =		1991,
	editor =	{E. Best and G. Rozenberg},
	pages =		{117--121},
	publisher =	{Gesellschaft f\"{u}r Mathematik und Datenverarbeitung},
	address =	{Sankt Augustin},		  
}

@article{GV93,
	author =	{Glabbeek, R.J. van and F.W. Vaandrager},
	year =		1993,
	journal =	tcs,
	volume =	113,
	number =	2,
	pages =		{293--348},
	title =		{Modular Specification of Process Algebras}
}
		  
@article{GV97,
	author =	{Glabbeek, R.J. van and F.W. Vaandrager},
	title =		{The Difference Between Splitting in $n$ and $n+1$},
	year =		1997,
	note =		{Abstract in {E. Best \& G. Rozenberg,
			editors}: Proceedings {\em $3^{\it rd}$ Workshop
			on Concurrency and Compositionality}, Goslar,
		        Germany, March 1991, {GMD}-Studien Nr.\ 191,
			{Gesellschaft f\"{u}r Mathematik und
		        Datenverarbeitung}, {Sankt Augustin} 1991,
		        pp. {117--121}},
	journal = 	 i&c,
	volume = 	 136,
	number = 	 2,
	pages = 	 {109-142}
}

@inproceedings{GW89,
	author =	{Glabbeek, R.J. van and W.P. Weijland},
	booktitle =	{Information Processing 89, {\rm  Proceedings
			of the IFIP 11th World Computer Congress, San
			Fransisco 1989}},
	year =		1989,
	editor =	{G.X. Ritter},
	publisher =	nholland,
	pages =		{613--618},
	note =		{Full version in {\em Jounal of the ACM}
		        43(3), 1996, pp. 555--600},
	title =		{Branching Time and Abstraction in Bisimulation
			 Semantics (extended abstract)}
}

@techreport{GW89a,
	author =	{Glabbeek, R.J. van and W.P. Weijland},
	year =		1989,
	institution =	{CWI},
	type =		{Report},
	number =	{CS-R8922},
	address =	{Amsterdam},
	note =		{Also appeared in: Proceedings AMAST Conference,
				 May 1989, Iowa, USA, pp. 197--201},
	title =		{Refinement in Branching Time Semantics}
}

@techreport{GW90,
	author =	{Glabbeek, R.J. van and W.P. Weijland},
	title =		{Branching Time and Abstraction in Bisimulation
			 Semantics},
	institution =	{Institut f\"{u}r Informatik, Technische
		         Universit\"{a}t M\"{u}nchen},
	number =	{TUM-I9052, SFB-Bericht Nr.\ 342/29/90 A},
	address =	{Germany},
	year =		1990,
	note =		{Original version of \cite{GW96}.
			Extended abstract in G.X. Ritter, editor:
			{\em Information Processing 89}, Proceedings
			of the IFIP 11th World Computer Congress, San
			Fransisco, USA 1989, Elsevier Science
			Publishers B.V. (North-Holland), 1989, pp. 613--618}
}

@article{GW96,
	author =	{Glabbeek, R.J. van and W.P. Weijland},
	title =		{Branching Time and Abstraction in Bisimulation
			 Semantics},
	journal =  	{Journal of the ACM},
	year =		1996,
        volume =        43,
        number =        3,
	pages =         {555-600},
	url =           {http://Theory.Stanford.EDU/~rvg/abstraction/}
}

@techreport{OGG88,
	author =	{E.-R. Olderog and U. Goltz and Glabbeek, R.J. van},
	institution = 	{Gesellschaft f\"{u}r Mathematik und Datenverarbeitung},
	type =		{Arbeitspapiere der GMD},
	number =	320,
	address =	{Sankt Augustin},
	year =		1988,
	title =		{Combining Compositionality and Concurrency, \rm
			 {Summary of a GMD-Workshop,
			 K\"{o}nigswinter, March 1988}}
}

@techreport{RG88,
	author =	{P.H. Rodenburg and Glabbeek, R.J. van},
	year =		1988,
	institution =	{CWI},
	type =		{Report},
	number =	{CS-R8838},
	address =	{Amsterdam},
	title =		{An interpolation theorem in equational logic}
}