Publications
Search

Publications :: Search

Show venue

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

    Conference
    Name: Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 1985
    URL: https://doi.org/10.1007/3-540-15670-4
    DBLP: db/conf/concur/concur1984.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 25  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Gul A. Agha.
    Semantic Considerations in the Actor Paradigm of Concurrent Computation.
    Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 1985 (0) 1984
    Conference paper
    Howard Barringer, Ruurd Kuiper.
    Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework.
    Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 1985 (0) 1984
    Conference paper
    Jan A. Bergstra, Jan Willem Klop, J. V. Tucker.
    Process Algebra with Asynchronous Communication Mechanisms.
    Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 1985 (0) 1984
    Conference paper
    Gérard Berry, Laurent Cosserat.
    The ESTEREL Synchronous Programming Language and its Mathematical Semantics.
    Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 1985 (0) 1984
    Conference paper
    Eike Best.
    Concurrent Behaviour: Sequences, Processes and Axioms.
    Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 1985 (0) 1984
    Conference paper
    Philippe Darondeau.
    A Fully Abstract Model of Fair Asynchrony.
    Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 1985 (0) 1984
    Conference paper
    Stephen D. Brookes.
    On the Axiomatic Treatment of Concurrency.
    Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 1985 (0) 1984
    Conference paper
    Stephen D. Brookes, A. W. Roscoe.
    An Improved Failures Model for Communicating Processes.
    Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 1985 (0) 1984
    Conference paper
    Luca Cardelli.
    An Implementation Model of Rendezvous Communication.
    Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 1985 (0) 1984
    Conference paper
    William D. Clinger, Charles Halpern.
    Alternative Semantics for McCarthy's amb.
    Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA, USA, July 9-11, 1984 1985 (0) 1984
    Show item 1 to 10 of 25  

    Your query returned 25 matches in the database.