Petri Nets, Configuration Structures, Propositional Theories and History Preserving Process Graphs abstract)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationSemantics of Concurrent Systems---Foundations and Applications
EditorsM. Droste, E.-R. Olderog, B. Steffen, G. Winskel
Place of PublicationPostfach 15 11 50, D-66041 Saarbrücken, Germany
PublisherInternationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany
Pages14-15
Number of pages2
Volume144
DOIs
Publication statusPublished - 3 Jul 1996
EventDagstuhl Seminar 9619 -
Duration: 1 May 19961 May 1996

Publication series

NameDagstuhl-Seminar-Report
PublisherInternationales Begegnungs- und Forschungszentrum für Informatik Schloss Dagstuhl
Volume144
ISSN (Print)1619-0203

Seminar

SeminarDagstuhl Seminar 9619
Period1/05/961/05/96

Cite this