Temporal preconditions of recursive procedures (Englisch)
Nationallizenz
- Neue Suche nach: Hesselink, Wim H.
- Neue Suche nach: Reinds, Ronald
- Neue Suche nach: Hesselink, Wim H.
- Neue Suche nach: Reinds, Ronald
In:
Semantics: Foundations and Applications
;
236-260
;
1993
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Temporal preconditions of recursive procedures
-
Beteiligte:Hesselink, Wim H. ( Autor:in ) / Reinds, Ronald ( Autor:in )
-
Erschienen in:Semantics: Foundations and Applications ; 236-260Lecture Notes in Computer Science ; 666 ; 236-260
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.1993
-
Format / Umfang:25 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
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
-
Predicate transformers and higher order logicBack, R. J. R. / Wright, J. et al. | 1993
- 21
-
Trace NetsBadouel, Eric / Darondeau, Philippe et al. | 1993
- 51
-
Proving total correctness of programs in weak second-order logicBerghammer, Rudolf / Elbl, Birgit / Schmerl, Ulf et al. | 1993
- 73
-
On blocks: locality and asynchronous communicationBoer, F. S. / Kok, J. N. / Palamidessi, C. / Rutten, J. J. M. M. et al. | 1993
- 91
-
Semantics, orderings and recursion in the weakest precondition calculusBonsangue, Marcello / Kok, Joost N. et al. | 1993
- 110
-
A categorical model for logic programs: Indexed monoidal categoriesCorradini, Andrea / Asperti, Andrea et al. | 1993
- 138
-
A categorical view of process refinementDegano, P. / Gorrieri, R. / Rosolini, G. et al. | 1993
- 154
-
Compact metric information systemsEdalat, Abbas / Smyth, Michael B. et al. | 1993
- 174
-
Asynchronous rendez-vous in distributed logic programmingEliëns, A. / Vink, E. P. et al. | 1993
- 204
-
New semantic tools for logic programmingGabbrielli, Maurizio / Levi, Giorgio / Martelli, Maurizio et al. | 1993
- 236
-
Temporal preconditions of recursive proceduresHesselink, Wim H. / Reinds, Ronald et al. | 1993
- 261
-
Towards an epistemic approach to reasoning about concurrent programsHoek, W. / Hulst, M. / Meyer, J. -J. Ch. et al. | 1993
- 288
-
A fully abstract model for a nonuniform concurrent language with parameterization and localityHorita, Eiichi et al. | 1993
- 318
-
SPCF: its model, calculus, and computational powerKanneganti, Ramarao / Cartwright, Robert / Felleisen, Matthias et al. | 1993
- 348
-
Infinite behaviour and fairness in concurrent constraint programmingKwiatkowska, Marta et al. | 1993
- 384
-
Full abstraction and unnested recursionMislove, Michael W. / Oles, Frank J. et al. | 1993
- 398
-
On the action semantics of concurrent programming languagesMosses, Peter D. et al. | 1993
- 425
-
Layered predicatesNielson, Flemming / Nidson, Hanne Riis et al. | 1993
- 457
-
A hyperdoctrinal view of concurrent constraint programmingPanangaden, Prakash / Saraswat, Vijay / Scott, P. J. / Seely, R. A. G. et al. | 1993
- 477
-
On the foundations of final semantics: Non-standard sets, metric spaces, partial ordersRutten, Jan J. M. M. / Turi, Daniele et al. | 1993
- 531
-
Infinite systems of equations over inverse limits and infinite synchronous concurrent algorithmsStoltenberg-Hansen, V. / Tucker, J. V. et al. | 1993
- 563
-
Some issues in the semantics of facile distributed programmingThomsen, Bent / Leth, Lone / Giacalone, Alessandro et al. | 1993
- 594
-
On the relation between unity properties and sequences of statesUdink, R. T. / Kok, J. N. et al. | 1993
- 609
-
Expressiveness results for process algebrasVaandrager, Frits W. et al. | 1993
- 639
-
Compiling joy into Silicon: An exercise in applied structural operational semanticsWeber, Sam / Bloom, Bard / Brown, Geoffrey et al. | 1993