Publications
Search

Publications :: Search

Show venue

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

    Conference
    Name: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings 1993
    URL: https://doi.org/10.1007/3-540-57208-2
    DBLP: db/conf/concur/concur1993.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 37  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Gérard Boudol.
    The Lambda-Calculus with Multiplicities (Abstract).
    CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Jos C. M. Baeten, Chris Verhoef.
    A Congruence Theorem for Structured Operational Semantics with Predicates.
    CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Jos C. M. Baeten, Jan A. Bergstra.
    Non Interleaving Process Algebra.
    CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Mads Dam.
    Model Checking Mobile Processes.
    CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Luca Aceto, David Murphy.
    On the Ill-Timed but Well-Caused.
    CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Orna Bernholtz, Orna Grumberg.
    Branching Time Temporal Logic and Amorphous Tree Automata.
    CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Roberto M. Amadio.
    On the Reduction of Chocs Bisimulation to pi-Calculus Bisimulation.
    CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Bard Bloom.
    Structured Operational Sematics for Process Algebras and Equational Axiom Systems.
    CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Marija Cubric, Prakash Panangaden.
    Minimal Memory Schedules for Dataflow Networks.
    CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings 1993 (0) 1993
    Conference paper
    Patrice Brémond-Grégoire, Insup Lee, Richard Gerber.
    ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities.
    CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings 1993 (0) 1993
    Show item 1 to 10 of 37  

    Your query returned 37 matches in the database.