%0 Book %1 Glabbeek2001 %A van Glabbeek, R.J. %B Handbook of Process Algebra %C Amsterdam, The Netherlands %D 2001 %I Elsevier Science %K %P 3--99 %T The Linear Time -- Branching Time Spectrum I: The Semantics of Concrete, Sequential Processes

@book{Glabbeek2001, added-at = {2012-08-06T21:22:32.000+0200}, address = {Amsterdam, The Netherlands}, author = {van Glabbeek, R.J.}, biburl = {https://www.bibsonomy.org/bibtex/280f100e2619321f3405caed3d978ec23/lucio_duarte}, booktitle = {Handbook of Process Algebra}, editors = {J.A. Bergstra, A. Ponse, and S.A. Smolka}, groups = {public}, interhash = {d1249766c6955404b24f44b1c3f345d1}, intrahash = {80f100e2619321f3405caed3d978ec23}, keywords = {}, pages = {3--99}, publisher = {Elsevier Science}, timestamp = {2012-08-06T21:22:32.000+0200}, title = {The {L}inear {T}ime -- {B}ranching {T}ime {S}pectrum {I}: {T}he {S}emantics of {C}oncrete, {S}equential {P}rocesses}, username = {lucio_duarte}, year = 2001 }