P. America, J. de Bakker, J.N. Kok, and J. Rutten. Denotational semantics of a parallel object-oriented language. Information and Computation, 83(2):152--205, 1989. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Building Metric Structures with the Meas-Functor - den Hartog, de Vink (Correct)
An Algebraic Compositional Semantics of an Object Oriented.. - Breu, Zucca (1989) (3 citations) (Correct)
A Hidden Agenda - Goguen, Malcolm (2000) (11 citations) (Correct)
A Denotational Model for Mobile Point-to-Point Data-flow.. - Grosu, Stølen, al. (1997) (5 citations) (Correct)
Chapter 6. An Investigation into Functions as Processes - Unknown (Correct)
Refinement Principles Supporting the Transition from.. - Stølen (1995) (Correct)
Class-like Descriptions of Packages - The Behaviour.. - Hoen, Groenewegen.. (2000) (Correct)
Using Object-Z to Specify Object-Oriented Programming Languages - Dong, Duke (1996) (Correct)
From Branching to Linear Metric Domains (and back) - van Breugel (1995) (Correct)
A Denotational Model for Mobile Point-to-Point Dataflow Networks - Grosu, Stølen (1995) (5 citations) (Correct)
From π-calculus to Higher-Order π-calculus - and back - Sangiorgi (Correct)
Une Sémantique Opérationnelle pour le Langage.. - Attali, Caromel (Correct)
A Formal Method for Hardware/Software Co-Design - Ketil Stølen, Max Fuchs (1995) (Correct)
Towards an Object Calculus - Nierstrasz (1992) (35 citations) (Correct)
Semantic-Based Visualization for Parallel.. - Attali, Caromel.. (1996) (1 citation) (Correct)
Concurrent, Object-Oriented Natural Language Parsing: The.. - Hahn, Schacht, Bröker (1994) (2 citations) (Correct)
A Hidden Agenda - Goguen, Malcolm (1996) (11 citations) (Correct)
A Predicative Semantics of Objects and References - Chen (Correct)
Compiling Object-Oriented Programs for Distributed.. - Muthukrishnan, Bryant.. (Correct)
Unknown - Uttel Nestmann Eds (Correct)
A Denotational Model for Mobile Point-to-Point.. - Grosu, Stølen.. (1997) (5 citations) (Correct)
Congruence Proofs for Weak Bisimulation Equivalences on.. - Baldamus, Frauenstein (1995) (1 citation) (Correct)
Towards a Denotational Semantics for Concurrent State Transformers - Thiemann (1995) (Correct)
An Approach to Object-Orientation in Action Systems - Bonsangue, Kok, Sere (1997) (9 citations) Self-citation (Kok) (Correct)
Full Abstractness of an Interleaving Semantics for.. - den Hartog, de Vink.. (1998) Self-citation (De bakker) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC