|
|
Venues (Conferences, Journals, ...)
|
|
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 |
1 | S. Purushothaman, Amy E. Zwarico (eds.) |
NAPAW 92, Proceedings of the First North American Process Algebra Workshop, Stony Brook, New York, USA, 28 Agust 1992 |
NAPAW |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Hans Hansson, Fredrik Orava |
A Process Calculus with Incomparable Priorities. |
NAPAW |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Shoji Yuen, Toshiki Sakabe, Yasuyoshi Inagaki |
An Extension of the Testing Method for Processes Passing Infinite Values. |
NAPAW |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Rosvelter João Coelho da Costa, Jean-Pierre Courtiat |
A Causality-based Semantics for CCS. |
NAPAW |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Lubos Brim |
Modal Logics in Timed Process Algebras. |
NAPAW |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Damas P. Gruska, Andrea Maggiolo-Schettini |
Process Communication Environment. |
NAPAW |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, J. Coenen, Rob Gerth |
Exception Handling in Process Algebra. |
NAPAW |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Brian J. Ross |
A π-calculus Semantics of Logical Variables and Unification. |
NAPAW |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jos C. M. Baeten |
The Total Order Assumption. |
NAPAW |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jens Chr. Godskesen, Kim Guldstrand Larsen |
Real-Time Calculi and Expansion Theorems. |
NAPAW |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Zvi Schreiber |
Verification of Value-Passing Systems. |
NAPAW |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Pierpaolo Degano, Rocco De Nicola, Ugo Montanari |
Observation Trees. |
NAPAW |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Bard Bloom, Robert Paige |
Computing Ready Simulations Efficiently. |
NAPAW |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Paul C. Brown |
Constructive Semantics. |
NAPAW |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee 0001 |
CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities. |
NAPAW |
1992 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|