Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992 1993
    DBLP: db/conf/napaw/napaw1992.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 14  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Jos C. M. Baeten.
    The Total Order Assumption.
    NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992 1993 (0) 1992
    Conference paper
    Bard Bloom, Robert Paige.
    Computing Ready Simulations Efficiently.
    NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992 1993 (0) 1992
    Conference paper
    Frank S. de Boer, J. Coenen, Rob Gerth.
    Exception Handling in Process Algebra.
    NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992 1993 (0) 1992
    Conference paper
    Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee.
    CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities.
    NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992 1993 (0) 1992
    Conference paper
    Lubos Brim.
    Modal Logics in Timed Process Algebras.
    NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992 1993 (0) 1992
    Conference paper
    Paul C. Brown.
    Constructive Semantics.
    NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992 1993 (0) 1992
    Conference paper
    Rosvelter João Coelho da Costa, Jean-Pierre Courtiat.
    A Causality-based Semantics for CCS.
    NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992 1993 (0) 1992
    Conference paper
    Pierpaolo Degano, Rocco De Nicola, Ugo Montanari.
    Observation Trees.
    NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992 1993 (0) 1992
    Conference paper
    Jens Chr. Godskesen, Kim Guldstrand Larsen.
    Real-Time Calculi and Expansion Theorems.
    NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992 1993 (0) 1992
    Conference paper
    Damas P. Gruska, Andrea Maggiolo-Schettini.
    Process Communication Environment.
    NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992 1993 (0) 1992
    Show item 1 to 10 of 14  

    Your query returned 14 matches in the database.