On the Compositionality and Analysis of Algebraic High-Level Nets (1991)

by Johan Lilius
Venue:RESEARCH REPORT A16, DIGITAL SYSTEMS LABORATORY
Citations:3 - 1 self

Active Bibliography

766 Notions of Computation and Monads – Eugenio Moggi - 1991
977 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
1177 Temporal and modal logic – E. Allen Emerson - 1995
1571 Toward Principles for the Design of Ontologies Used for Knowledge Sharing – Thomas R. Gruber - 1993
824 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
481 Domain Theory – Samson Abramsky, Achim Jung - 1994
447 Automating the Design of Graphical Presentations of Relational Information – Jock Mackinlay - 1986