Real space process algebra (Englisch)
Nationallizenz
- Neue Suche nach: Baeten, J. C. M.
- Neue Suche nach: Bergstra, J. A.
- Neue Suche nach: Baeten, J. C. M.
- Neue Suche nach: Bergstra, J. A.
In:
CONCUR '91
;
96-110
;
1991
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Real space process algebra
-
Beteiligte:Baeten, J. C. M. ( Autor:in ) / Bergstra, J. A. ( Autor:in )
-
Erschienen in:CONCUR '91 ; 96-110Lecture Notes in Computer Science ; 527 ; 96-110
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.1991
-
Format / Umfang:15 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:68Q45 , 68Q55 , 68Q65 , 68Q50 , F.4.3 , D.2.10 , D.3.1 , D.3.3 , process algebra , real time , real space-time , Galilei transformation , Lorentz transformation , interleaving , true concurrency
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Formal techniques for parallel object-oriented languagesAmerica, Pierre et al. | 1991
- 18
-
Causal models for rational algebraic processesBouali, Amar / Simone, Robert et al. | 1991
- 20
-
Action and state-based logics for process algebrasNicola, Rocco et al. | 1991
- 23
-
A tool set for deciding behavioral equivalencesFernandez, Jean-Claude / Mounier, Laurent et al. | 1991
- 43
-
Causality based models for the design of concurrent systemsGoltz, Ursula et al. | 1991
- 45
-
Modal logics for mobile processesMilner, Robin / Parrow, Joachim / Walker, David et al. | 1991
- 61
-
Towards a design calculus for communicating programsOlderog, Ernst-Rüdiger et al. | 1991
- 78
-
A theory of testing for ACPAceto, Luca / Ingólfsdóttir, Anna et al. | 1991
- 96
-
Real space process algebraBaeten, J. C. M. / Bergstra, J. A. et al. | 1991
- 111
-
The failure of failures in a paradigm for asynchronous communicationBoer, F. S. / Kok, J. N. / Palamidessi, C. / Rutten, J. J. M. M. et al. | 1991
- 127
-
Embedding as a tool for language comparison: On the CSP hierarchyBoer, Frank S. / Palamidessi, Catuscia et al. | 1991
- 142
-
A conditional operator for CCSCamilleri, Juanito et al. | 1991
- 157
-
Algebraic formulations of trace theoryDrost, N. J. et al. | 1991
- 172
-
Compositional synthesis of live and bounded free choice Petri netsEsparza, Javier / Silva, Manuel et al. | 1991
- 188
-
The observation algebra of spatial pomsetsFerrari, Gian Luigi / Montanari, Ugo et al. | 1991
- 203
-
Synchrony loosening transformations for interacting processesFrancez, Nissim / Forman, Ira R. et al. | 1991
- 220
-
A compositional model for layered distributed systemsGoldman, Kenneth J. et al. | 1991
- 235
-
Process algebra with guardsGroote, Jan Friso / Ponse, Alban et al. | 1991
- 250
-
Model checking and modular verificationGrumberg, Orna / Long, David E. et al. | 1991
- 266
-
Geometric logic, causality and event structuresGunawardena, Jeremy et al. | 1991
- 281
-
Extended Horn clauses: the framework and some semanticsJacquet, Jean-Marie / Monteiro, Luís et al. | 1991
- 298
-
Action systems and action refinement in the development of parallel systemsJanssen, Wil / Poel, Mannes / Zwiers, Job et al. | 1991
- 317
-
Invariant semantics of nets with inhibitor arcsJanicki, Ryszard / Koutny, Maciej et al. | 1991
- 332
-
Abstract timed observation and process algebraJeffrey, Alan et al. | 1991
- 346
-
Simulations between specifications of distributed systemsJonsson, Bengt et al. | 1991
- 361
-
Using truth-preserving reductions to improve the clarity of kripke-modelsKaivola, Roope / Valmari, Antti et al. | 1991
- 376
-
Completeness in real time process algebraKlusener, A. S. et al. | 1991
- 393
-
Distributed CCSKrishnan, Padmanabhan et al. | 1991
- 408
-
Time-constrained automataMerritt, Michael / Modugno, Francesmary / Tuttle, Mark R. et al. | 1991
- 424
-
Relating processes with respect to speedMoller, Faron / Tofts, Chris et al. | 1991
- 439
-
Testing, betting and timed true concurrencyMurphy, David et al. | 1991
- 455
-
Fairness in models with true concurrencyNolte, Doris / Priese, Lutz et al. | 1991
- 470
-
Efficient verification of determinate processesQin, Huajun et al. | 1991
- 480
-
Experiments on processes with backtrackingSchnoebelen, Ph. et al. | 1991
- 495
-
Some finite-graph models for process algebraSpruit, Paul / Wieringa, Roel et al. | 1991
- 510
-
A method for the development of totally correct shared-state parallel programsStølen, Ketil et al. | 1991
- 526
-
Reduced labelled transition systems save verification effortValmari, Antti / Clegg, Matthew et al. | 1991