%0 Conference Paper %1 conf/ifip2/CastellaniFM82 %A Castellani, Ilaria %A Franceschi, Paola %A Montanari, Ugo %B Formal Description of Programming Concepts %D 1982 %E Bjørner, Dines %I North-Holland %K dblp %P 383-400 %T Labeled Event Structures: A Model for Observable Concurrency. %U http://dblp.uni-trier.de/db/conf/ifip2/fdpc1982.html#CastellaniFM82 %@ 0-444-86619-1

@inproceedings{conf/ifip2/CastellaniFM82, added-at = {2019-01-15T00:00:00.000+0100}, author = {Castellani, Ilaria and Franceschi, Paola and Montanari, Ugo}, biburl = {https://www.bibsonomy.org/bibtex/27119ae930e35cc0c1b9aa00a4ec4f6c5/dblp}, booktitle = {Formal Description of Programming Concepts}, crossref = {conf/ifip2/1982}, editor = {Bjørner, Dines}, interhash = {6d8c6b3b8b66d1ddc703a7fc29fefbc0}, intrahash = {7119ae930e35cc0c1b9aa00a4ec4f6c5}, isbn = {0-444-86619-1}, keywords = {dblp}, pages = {383-400}, publisher = {North-Holland}, timestamp = {2019-01-16T11:36:01.000+0100}, title = {Labeled Event Structures: A Model for Observable Concurrency.}, url = {http://dblp.uni-trier.de/db/conf/ifip2/fdpc1982.html#CastellaniFM82}, year = 1982 }