|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 9 keywords
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Amir Pnueli, Roni Rosner |
A Framework for the Synthesis of Reactive Modules.  |
Concurrency  |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolien J. Drost, Jan van Leeuwen |
Assertional Verification of a Majority Consensus Algorithm for Concurrency Control in Multiple Copy Databases. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
update synchronization, assertional proof, system-wide invariant, distributed databases, concurrency control, data replication, timestamps |
| 1 | Karl Meinke, John V. Tucker |
The Scope and Limits of Synchronous Concurrent Computation. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Gnesi, Paola Inverardi, Monica Nesi |
A Logic-Functional Approach to the Execution of CCS Specifications Modulo Behavioural Equivalences. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny Dolev, H. Raymond Strong |
On Safety and Timeliness in Distributed Data Management. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Bourguet-Rouger |
External Behaviour Equivalence between two Petri Nets. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Reisig |
Temporal Logic and Causality in Concurrent Systems. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
Requirement and Design Specification for Distributed Systems. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Udo Thalmann |
Analysis of ESTELLE Specifications. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Younes Souissi, Nicolas Beldiceanu |
Deterministic Systems of Sequential Processes: Theory and Tools. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
deterministic systems of sequential processes, Petri net, expert system, liveness |
| 1 | Egidio Astesiano, Alessandro Giovini, Gianna Reggio |
Data in a Concurrent Environment. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | P. M. Melliar-Smith |
A Graphical Representation of Interval Logic. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Barringer, Dov M. Gabbay |
Executing Temporal Logic: Review and Prospects (Abstract). |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard L. Schwartz |
Data Base Distribution and Concurrency for End-Users (Abstract). |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich H. Vogt (eds.) |
Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Maciej Koutny |
Adequacy-Preserving Transformations of COSY Path Programs. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Asis Goswami, Mathai Joseph |
Semancitcs of Real-time Distributed Programs. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerard Tel |
Total Algorithms. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
Network control problems, Distributed Infimum, Resynchronization, Broadcast, Election |
| 1 | Da-Hai Li, T. S. E. Maibaum |
A Top-down Step-wise Refinement Methodology for Protocol Specification. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Eike Best |
Weighted Basic Petri Nets. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Ephraim Korach, Gerard Tel, Shmuel Zaks |
Optimal Synchronization of ABD Networks. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Fiorella de Cindio, Giorgio De Michelis, Lucia Pomello, Carla Simone |
A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
An Automata-Theoretic Approach to Protocol Verification (Abstract). |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Burkhard Igel, Georg Reichwein |
An Example of Communicating Production Systems. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Leslie Lamport |
While Waiting for the Millennium: Formal Specification and Verficiation of Concurrent Systems Now (Abstract). |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Y. Halpern, Ronald Fagin |
Modelling Knowledge and Action in Distributed Systems. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Drusinsky, David Harel |
On the Power of Cooperative Concurrency. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license