Abstract
The chief purpose of this paper is to appraise the feasibility of Girard’s linear logic as a specification language for parallel processes. To this end we propose an interpretation of linear logic in Petri nets, with respect to which we investigate the expressive power of the logic.
Cite
CITATION STYLE
APA
Engberg, U., & Winskel, G. (1990). Petri nets as models of linear logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 431 LNCS, pp. 147–161). Springer Verlag. https://doi.org/10.1007/3-540-52590-4_46
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free