Aarhus University Seal / Aarhus Universitets segl

Formal Semantics by a Combination of Denotational Semantics and High Level Petri Nets

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

  • The Faculty Secretariat, Faculty of Science
  • Department of Information and Media Studies
Original languageEnglish
Title of host publicationApplications and Theory of Petri Nets
EditorsA. Pagnoni, G. Rosenberg
Number of pages17
Place of publicationBerlin
PublisherSpringer
Publication year1983
Pages132-148
ISBN (print)0387123091, 3540123091
Publication statusPublished - 1983
EventThe European Workshop on Applications and Theory of Petri Nets - Varenna, Italy
Duration: 27 Sep 198230 Sep 1982
Conference number: 3

Conference

ConferenceThe European Workshop on Applications and Theory of Petri Nets
Nummer3
LandItaly
ByVarenna
Periode27/09/198230/09/1982

See relations at Aarhus University Citationformats

ID: 1058353