U
Uffe Engberg
Researcher at Aarhus University
Publications - 15
Citations - 509
Uffe Engberg is an academic researcher from Aarhus University. The author has contributed to research in topics: Linear logic & Petri net. The author has an hindex of 11, co-authored 15 publications receiving 502 citations. Previous affiliations of Uffe Engberg include National Research Foundation of South Africa.
Papers
More filters
Journal ArticleDOI
A Calculus of Communicating Systems with Label Passing
Uffe Engberg,Mogens Nielsen +1 more
TL;DR: In this paper, the Calculus of Communicating Systems (CCS) is extended with a mechanism for label passing, as an attempt to remedy some of the shortcomings of CCS w.r.t dynamic change of agent interconnections.
Book
A calculus of communicating systems with label passing—ten years after
Uffe Engberg,Mogens Nielsen +1 more
TL;DR: A ten year old report of the authors' on an extension of CCS with label passing and a tribute to Robin Milner are taken.
Book ChapterDOI
Fully abstract models for a process language with refinement
TL;DR: This work studies the use of sets of labelled partial orders (pomsets) as denotational models for process algebras and their capability to capture degrees of nonsequentiality of processes.
BookDOI
Foundations of Software Science and Computation Structures
Mogens Nielsen,Uffe Engberg +1 more
Book ChapterDOI
Petri Nets as Models of Linear Logic
Uffe Engberg,Glynn Winskel +1 more
TL;DR: An interpretation of linear logic in Petri nets is proposed, with respect to which the expressive power of the logic is investigated, to appraise the feasibility of Girard's linear logic as a specification language for parallel processes.