Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | Jean-Marc Andreoli, Remo Pareschi, Marc Bourgois |
Dynamic Programming as Multiagent Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object-Based Concurrent Computing ![In: Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings, pp. 163-176, 1991, Springer, 3-540-55613-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Ciaran McHale, Bridget Walsh, Seán Baker, Alexis A. Donnelly |
Scheduling Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object-Based Concurrent Computing ![In: Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings, pp. 177-193, 1991, Springer, 3-540-55613-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Thorsten Hartmann, Ralf Jungclaus |
Abstract Description of Distributed Object Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object-Based Concurrent Computing ![In: Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings, pp. 227-244, 1991, Springer, 3-540-55613-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Kohei Honda 0001, Mario Tokoro |
On Asynchronous Communication Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object-Based Concurrent Computing ![In: Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings, pp. 21-51, 1991, Springer, 3-540-55613-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Vasco Thudichum Vasconcelos, Mario Tokoro |
Traces Semantics for Actor Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object-Based Concurrent Computing ![In: Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings, pp. 141-162, 1991, Springer, 3-540-55613-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Peter Wegner |
Desgin Issues for Object-Based Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object-Based Concurrent Computing ![In: Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings, pp. 245-256, 1991, Springer, 3-540-55613-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Pierre America |
Formal Techniques for Parallel Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object-Based Concurrent Computing ![In: Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings, pp. 119-140, 1991, Springer, 3-540-55613-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Hayssam Saleh, Philippe Gautron |
A Concurrency Control Mechanism for C++ Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object-Based Concurrent Computing ![In: Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings, pp. 195-210, 1991, Springer, 3-540-55613-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
26 | Irène Guessarian (eds.) |
Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![Springer, 3-540-53479-2 The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Charles Rattray (eds.) |
Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK] ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![Springer, 3-540-19581-5 The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
26 | Bernadette Charron-Bost |
Concerning the Size of Clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 176-184, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Ursula Goltz |
CCS and Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 334-357, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Irène Guessarian |
About Fixpoints for Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 358-374, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Joffroy Beauquier |
Fault-Tolerant Naming and Mutual Exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 50-61, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
synchronous and asynchronous message passing, naming problem, fault tolerance, distributed algorithms, byzantine process, mutual exclusion problem |
26 | Lutz Priese |
Approaching Fair Computations by Ultra Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 420-433, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Gérard Boudol, Ilaria Castellani |
Three Equivalent Semantics for CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 96-141, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Andrea Corradini 0001, Gian-Luigi Ferrari 0002, Ugo Montanari |
Transition Systems with Algebraic Structure as Models of Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 185-222, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Rocco De Nicola, Frits W. Vaandrager |
Action versus State based Logics for Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 407-419, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Luc Bougé, Patrick Garda |
Towards a Semantic Approach to SIMD Architectures and their Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 142-175, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | J. W. de Bakker, J. H. A. Warmerdam |
Metric Pomset Semantics for a Concurrnt Language with Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 21-49, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
pomsets, metric topology, operational semantics, denotational semantics, true concurrency, proof rule |
26 | Egidio Astesiano, Alessandro Giovini, Gianna Reggio |
Processes as Data Types: Observational Semantics and Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 1-20, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Gérard Duchamp, Daniel Krob |
Partially Commutative Formal Power Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 256-276, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Stefano Kasangian, Anna Labella, Alberto Pettorossi |
Observers, Experiments and Agents: a Comprehensive Approach to Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 375-406, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Gérard Boudol |
Flow Event Structures and Flow Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 62-95, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Philippe Darondeau |
Concurrency and Computability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Systems of Concurrent Processes ![In: Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings, pp. 223-238, 1990, Springer, 3-540-53479-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Donal Roantree, Maurice Clint |
A Specification-Verification Framework for Distributed Applications Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 153-183, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Sören Holmström |
Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus based on It. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 294-330, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Francois D. Carrez, Dominique Méry |
Temporal Specifications Directed by Grammar and Design of Process Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 410-427, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | David Freestone |
Specification and Verification in Communications Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 474-485, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Pierre America |
The Interplay of Theory and Practice in a Parallel Object-Oriented Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 1-20, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Udo Thalmann |
Analysis of Estelle Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 428-438, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Elspeth Cusack |
Formal Design and Development of Ada Real-Time Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 71-83, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Mathai Joseph, Asis Goswami |
Semantics for Specifying Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 272-275, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Parosh Aziz Abdulla, Stefan Arnborg |
An Equivalence Decision Problem in Systolic Array Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 236-245, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | L. D. Natanson, W. B. Samson |
An Animator for CSP Implemented in HOPE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 575-594, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Antonella Di Stefano, Fabio Gibilisco, Orazio Mirabella |
Modeling of Distributed Problem Solving using Logic Modified Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 557-574, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Stephen A. Schuman, David H. Pitt, Paddy H. Byers |
Object-Oriented Process Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 21-70, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | J. D. Parker |
Synchronization in Network Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 344-367, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Robin A. Nicholl |
Concurrency in Modula-2: Properties of the Language Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 439-454, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Stuart Richard Matthews |
The Specification and Design of a Nondeterministic Data Structure Using CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 500-525, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Paul A. J. Tilanus, Yan Yang |
Experience with LOTOS and Environment LOTTE on an ISDN Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 486-499, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Rosalind L. Ibrahim, John A. Ogden, Shirley A. Williams |
Should Concurrency be Specified? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 246-271, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Christopher M. Holt |
Dynamic Communication Links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 184-195, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | E. Pascal Gribomont |
From Synchronous to Asynchronous Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 368-383, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Robert G. Clark |
The Design ad Development of Ada Real-Time Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 84-99, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Jeffrey J. Joyce |
Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 384-409, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Kenneth R. Parker, Rainer A. Berger, Kong E. Cheng |
Protocol Analysis and Implementation using NPNs and SDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 100-120, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Jonathan Billington |
A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 526-556, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | Wang Yi 0001 |
Specifying Processes in Terms of Their Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 276-293, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
26 | B. Tim Denvir, W. T. Harwood, M. I. Jackson, M. J. Wray (eds.) |
The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![Springer, 3-540-16047-7 The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Krzysztof R. Apt (eds.) |
Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logics and Models of Concurrent Systems ![Springer, 978-3-642-82455-5 The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Luis Fariñas del Cerro |
Resolution Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logics and Models of Concurrent Systems ![In: Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984, pp. 27-55, 1984, Springer, 978-3-642-82455-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
26 | Dov M. Gabbay |
Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logics and Models of Concurrent Systems ![In: Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984, pp. 439-457, 1984, Springer, 978-3-642-82455-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
26 | Philippe Darondeau |
About Fair Asynchrony. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logics and Models of Concurrent Systems ![In: Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984, pp. 343-368, 1984, Springer, 978-3-642-82455-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
26 | Gérard Boudol |
Notes on Algebraic Calculi of Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logics and Models of Concurrent Systems ![In: Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984, pp. 261-303, 1984, Springer, 978-3-642-82455-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
26 | Joseph Y. Halpern, Yoram Moses |
Towards a Theory of Knowledge and Ignorance: Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logics and Models of Concurrent Systems ![In: Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984, pp. 459-476, 1984, Springer, 978-3-642-82455-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
26 | David Harel, Amir Pnueli |
On the Development of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logics and Models of Concurrent Systems ![In: Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984, pp. 477-498, 1984, Springer, 978-3-642-82455-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
26 | Stephen D. Brookes, A. W. Roscoe 0001 |
Deadlock Analysis in Networks of Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logics and Models of Concurrent Systems ![In: Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984, pp. 305-323, 1984, Springer, 978-3-642-82455-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
26 | Susanne Graf, Joseph Sifakis |
A Logic for the Specification and Proof of Controllable Processes of CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logics and Models of Concurrent Systems ![In: Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984, pp. 369-395, 1984, Springer, 978-3-642-82455-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
26 | Edmund M. Clarke, Michael C. Browne, E. Allen Emerson, A. Prasad Sistla |
Using Temporal Logic for Automatic Verification of Finite State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logics and Models of Concurrent Systems ![In: Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984, pp. 3-26, 1984, Springer, 978-3-642-82455-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
26 | Willem P. de Roever |
The Cooperation Test : a syntax-directed verification method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logics and Models of Concurrent Systems ![In: Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984, pp. 213-257, 1984, Springer, 978-3-642-82455-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
26 | Nissim Francez, Brent Hailpern, Gadi Taubenfeld |
Script: A Communication Abstraction Mechanism and its Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logics and Models of Concurrent Systems ![In: Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984, pp. 169-212, 1984, Springer, 978-3-642-82455-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
26 | Brent Hailpern |
Tools for Verifying Network Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logics and Models of Concurrent Systems ![In: Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984, pp. 57-76, 1984, Springer, 978-3-642-82455-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
26 | K. Mani Chandy, Jayadev Misra |
A Paradigm for Detecting Quiescent Properties in Distributed Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logics and Models of Concurrent Systems ![In: Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984, pp. 325-341, 1984, Springer, 978-3-642-82455-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
26 | Amir Pnueli |
In Transition From Global to Modular Temporal Reasoning about Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logics and Models of Concurrent Systems ![In: Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984, pp. 123-144, 1984, Springer, 978-3-642-82455-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
26 | Krzysztof R. Apt |
Correctness Proofs of Distributed Termination Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logics and Models of Concurrent Systems ![In: Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984, pp. 147-167, 1984, Springer, 978-3-642-82455-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
26 | Ernst-Rüdiger Olderog |
Specification-Oriented Programming in TCSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logics and Models of Concurrent Systems ![In: Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984, pp. 397-435, 1984, Springer, 978-3-642-82455-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
26 | Amir Pnueli |
Solutions to Problem No.2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 365-383, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Robin Milner |
Using Algebra for Concurrency: Some Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 7-25, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Robin Milner |
Firing Squad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 314-317, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Peter D. Mosses |
A Solution to Problem 7 - Parallel Combinator Reduction Machine -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 354-358, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Egidio Astesiano, Gianna Reggio |
On the Specification of the Firing Squad Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 137-156, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Howard Barringer, Ruurd Kuiper 0001 |
Towards the Hierarchical, Temporal Logic, Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 157-183, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Ron Koymans, Willem P. de Roever |
Examples of a Real-Time Temporal Logic Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 231-251, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Carroll Morgan |
Specification of a simplified Network Service in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 318-344, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | A. W. Roscoe 0001 |
Specifying problem one using the failure sets model for CSP and deriving CSP processes which meett this specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 103-109, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Vaughan R. Pratt |
Two-way Channel with Disconnect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 110-111, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Robin Milner |
Parallel Combinator Reduction Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 121-126, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Jean-Claude Fernandez, Jean-Philippe Schwartz, Joseph Sifakis |
An Example of Specification and Verification in Cesar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 199-210, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | M. W. Shields |
The Train Set Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 389-396, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Peter E. Lauer |
A Simple Railway System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 271-292, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | P. S. Thiagarajan |
Some Aspects of Net Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 26-54, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | George J. Milne |
Description and Analysis Using Circal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 293-313, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | A. W. Roscoe 0001 |
A CSP solution to the "trains" problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 384-388, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | John Yiannis Cotronis, Peter E. Lauer |
Two Way Channel with Disconnect. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 184-198, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Richard L. Schwartz, P. M. Melliar-Smith |
From State Machines to Temporal Logic: Specification Methods for Protocol Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 55-65, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Richard Kennaway, M. Ronan Sleep |
Syntax and informal semantics of DyNe, a parallel language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 222-230, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Carroll Morgan, C. A. R. Hoare |
Specification of a simplified Network Service in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 345-353, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Gilles Kahn (eds.) |
Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![Springer, 3-540-09511-X The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Jean-Raymond Abrial, Stephen A. Schuman |
Non-Deterministic System Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 34-50, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | William W. Wadge |
An Extensional Treatment of Dataflow Deadlock. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 285-299, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | M. W. Shields |
Adequate Path Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 249-265, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski |
Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 226-248, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Carl Hewitt, Giuseppe Attardi, Henry Lieberman |
Specifying and Proving Properties of Guardians for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 316-336, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Jerald S. Schwartz |
Denotational Semantics of Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 191-202, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Kurt Jensen, Morten Kyng, Ole Lehrmann Madsen |
A Petri Net Definition of a System Description Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 348-368, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Hartmann J. Genrich, Kurt Lautenbach |
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 123-147, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Daniel P. Friedman, David S. Wise |
An Approach to Fair Applicative Multiprogramming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 203-225, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Yat-Sang Kwong |
On the Absence of Livelocks in Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 172-190, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
26 | Ryszard Janicki |
A Characterization of Concurrency-Like Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 109-122, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|