@InCollection{    springerlink:10.1007/BFb0013026,
  Author        = "Winskel, Glynn",
  Editor        = "de Bakker, J. and de Roever, W. and Rozenberg, G.",
  affiliation   = "Aarhus University Computer Science Department Denmark Denmark",
  BookTitle     = "Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency",
  date-added    = "2013-02-21 10:17:47 +0000",
  date-modified = "2013-02-21 10:19:39 +0000",
  ISBN          = "978-3-540-51080-2",
  keyword       = "Computer Science",
  Keywords      = "Petri nets and event structures and readme and communicating automata",
  Note          = "10.1007/BFb0013026",
  Pages         = "364-397",
  Publisher     = "Springer Berlin / Heidelberg",
  Series        = "Lecture Notes in Computer Science",
  Title         = "An introduction to event structures",
  URL           = "http://dx.doi.org/10.1007/BFb0013026",
  Volume        = "354",
  Year          = "1989",
  bdsk-url-1    = "http://dx.doi.org/10.1007/BFb0013026",
  File          = "An introduction to event structures - Winskel (0) (0) - a - a - j.pdf"
}

@InCollection{ springerlink:10.1007/BFb0013026, Author = "Winskel, Glynn", Editor = "de Bakker, J. and de Roever, W. and Rozenberg, G.", affiliation = "Aarhus University Computer Science Department Denmark Denmark", BookTitle = "Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency", date-added = "2013-02-21 10:17:47 +0000", date-modified = "2013-02-21 10:19:39 +0000", ISBN = "978-3-540-51080-2", keyword = "Computer Science", Keywords = "Petri nets and event structures and readme and communicating automata", Note = "10.1007/BFb0013026", Pages = "364-397", Publisher = "Springer Berlin / Heidelberg", Series = "Lecture Notes in Computer Science", Title = "An introduction to event structures", URL = "http://dx.doi.org/10.1007/BFb0013026", Volume = "354", Year = "1989", bdsk-url-1 = "http://dx.doi.org/10.1007/BFb0013026", File = "An introduction to event structures - Winskel (0) (0) - a - a - j.pdf" }