Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "NAPAW"( http://dblp.L3S.de/Venues/NAPAW )

URL (DBLP): http://dblp.uni-trier.de/db/conf/napaw

Publication years (Num. hits)
1992 (14) 1993 (1)
Publication types (Num. hits)
inproceedings(14) proceedings(1)
Venues (Conferences, Journals, ...)
NAPAW(15)
Authors
Amy E. Zwarico(1) Andrea Maggiolo-Schettini(1) Bard Bloom(1) Brian J. Ross(1) Damas P. Gruska(1) Frank S. de Boer(1) Fredrik Orava(1) Hans Hansson(1) Insup Lee 0001(1) J. Coenen(1) Jean-Pierre Courtiat(1) Jens Chr. Godskesen(1) Jos C. M. Baeten(1) Kim Guldstrand Larsen(1) Lubos Brim(1) Patrice Brémond-Grégoire(1) More (+10 of total 29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1S. Purushothaman, Amy E. Zwarico (eds.) NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992 Search on Bibsonomy NAPAW The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Hans Hansson, Fredrik Orava A Process Calculus with Incomparable Priorities. Search on Bibsonomy NAPAW The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki An Extension of the Testing Method for Processes Passing Infinite Values. Search on Bibsonomy NAPAW The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Rosvelter João Coelho da Costa, Jean-Pierre Courtiat A Causality-based Semantics for CCS. Search on Bibsonomy NAPAW The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Lubos Brim Modal Logics in Timed Process Algebras. Search on Bibsonomy NAPAW The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Damas P. Gruska, Andrea Maggiolo-Schettini Process Communication Environment. Search on Bibsonomy NAPAW The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Frank S. de Boer, J. Coenen, Rob Gerth Exception Handling in Process Algebra. Search on Bibsonomy NAPAW The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Brian J. Ross A π-calculus Semantics of Logical Variables and Unification. Search on Bibsonomy NAPAW The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Jos C. M. Baeten The Total Order Assumption. Search on Bibsonomy NAPAW The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Jens Chr. Godskesen, Kim Guldstrand Larsen Real-Time Calculi and Expansion Theorems. Search on Bibsonomy NAPAW The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Zvi Schreiber Verification of Value-Passing Systems. Search on Bibsonomy NAPAW The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Pierpaolo Degano, Rocco De Nicola, Ugo Montanari Observation Trees. Search on Bibsonomy NAPAW The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Bard Bloom, Robert Paige Computing Ready Simulations Efficiently. Search on Bibsonomy NAPAW The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Paul C. Brown Constructive Semantics. Search on Bibsonomy NAPAW The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee 0001 CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities. Search on Bibsonomy NAPAW The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license