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.