V. van Oostrom, E.P. de Vink  Home/Search
Context Related
| cs.vu.nl/pub/papers/theor...IR332.ps.Z cs.vu.nl/pub/oostrom/stalk.ps.Z cs.vu.nl/pub/vink/stacs94.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math.ju...ftp.cs.vu.nl (more) From: fermivista.math.ju...ftp.cs.vu.nl (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A many-sorted variant, called stalk format, of the single sorted tyft-format for transition system specifications, introduced by Groote and Vaandrager, is proposed. The stalk format is shown to be a convenient formalism to express continuation-style transition systems for languages incorporating concepts as, e.g., process creation or backtracking, for which the existing formats seem less adequate. It is proved, extending a similar result for the single sorted case, that for an appropriate... (Update)
Context of citations to this paper: More
..., and f(b)Q 2 are the true transitions. a b but f(a) f(b) with respect to this three valued stable model. van Oostrom and de Vink [169] generalized the tyft tyxt format (so in the absence of predicates and negative premises) to the stalk format, by somewhat relaxing the...
Cited by: More
Structural Operational Semantics - Aceto, Fokkink, Verhoef (1999) (Correct)
Active bibliography (related documents): More All
1.1: Asynchronous Rendez-Vous in Distributed Logic Programming - Eliëns, de Vink (1993) (Correct)
0.8: CCS without r's with Built-in Service Rendezvous - Baldamus (Correct)
0.5: Metric Semantics for Second Order Communication - de Bakker, al. (1995) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.4: STALK Users Guide - Levine, Facello, Hallstrom, Reeder.. (Correct)
0.3: Axiomatizing GSOS with termination - Baeten, de Vink (Correct)
0.3: STALK Programmers Guide - Levine, Facello, Hallstrom, Reeder.. (Correct)
Related documents from co-citation: More All
2: A general conservative extension theorem (context) - D'Argenio - 1995
2: Cambridge Tracts in Theoretical Computer Science (context) - Baeten, Weijland - 1990
2: The meaning of negative premises in transition system specification (context) - Bol, Groote - 1996
BibTeX entry: (Update)
V. v. Oostrom and E. de Vink, Transition system specifications in stalk format with bisimulation as a congruence, in Proceedings 11th Symposium on Theoretical Aspects of Computer Science, Caen, France, P. Enjalbert, E. Mayr, and K. Wagner, eds., vol. 775 of Lecture Notes in Computer Science, Springer-Verlag, 1994, pp. 569--580. http://citeseer.ist.psu.edu/oostrom94transition.html More
@inproceedings{ vanoostrom94transition,
author = "van Oostrom and de Vink",
title = "Transition System Specifications in Stalk Format with Bisimulation as a Congruence",
booktitle = "{STACS}: Annual Symposium on Theoretical Aspects of Computer Science",
year = "1994",
url = "citeseer.ist.psu.edu/oostrom94transition.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
484 A Calculus of Communicating Systems (context) - Milner - 1980
247 Bisimulation through probabilistic testing (context) - Larsen, Skou - 1989 ACM DBLP
182 Structured operational semantics and bisimulation as a congr.. (context) - Groote, Vaandrager - 1992 ACM DBLP
121 Bisimulation can't be traced (context) - Bloom, Istrail et al. - 1988 ACM DBLP
84 Transition system specifications with negative premises (context) - Groote - 1990 ACM DBLP
82 Operational and algebraic semantics of concurrent processes (context) - Milner - 1990 ACM DBLP
78 Specification-oriented semantics for communicating processes (context) - Olderog, Hoare - 1986 ACM DBLP
63 Order sorted equational computation (context) - Smolka, Nutt et al. - 1989
48 Higher-level synchronising devices in Meije-SCCS (context) - de Simone - 1985
47 The meaning of negative premises in transition system specif.. (context) - Bol, Groote - 1991 ACM DBLP
28 Notes on algebraic calculi of processes (context) - Boudol - 1985 ACM
22 Processes as terms: non-well-founded models for bisimulation (context) - Rutten - 1992 ACM DBLP
19 volume 25 of EATCS Monographs on Theoretical Computer Scienc.. (context) - Wechler, for - 1992
16 Continuation semantics for Prolog with cut - de Bruin, de Vink - 1989
16 Bounded nondeterminism and the approximation induction princ.. (context) - van Glabbeek - 1987
13 A parallel object-oriented language: Design and semantic fou.. (context) - America, Rutten - 1989
13 Comparative semantics for flow of control in logic programmi.. (context) - de Bakker - 1991 ACM DBLP
12 An algebra for process creation (context) - Baeten, Vaandrager - 1992 ACM DBLP
12 Readies and failures in the algebra of communicating process.. (context) - Bergstra, Klop et al. - 1988 ACM DBLP
11 Deriving denotational models for bisimulation from Structure.. (context) - Rutten - 1990
8 Semantic correctness for a parallel object-oriented language (context) - Rutten - 1990 ACM DBLP
8 Structural operational specifications and trace automata (context) - Badouel, Darondeau - 1992
8 tyxt format reduces to tree rules (context) - Fokkink - 1993
5 Comparative semantics for Prolog with cut (context) - de Vink - 1990 ACM DBLP
5 Bisimulation semantics for concurrency with atomicity and ac.. (context) - de Bakker, de Vink - 1992 ACM DBLP
3 Designing equivalent models for process creation (context) - America, de Bakker - 1988
3 CCS for OO and LP (context) - de Bakker, de Vink - 1991 ACM DBLP
2 Rendez-vous with metric semantics (context) - de Bakker, de Vink - 1991 ACM DBLP
1 atomicity and contractions in the comparative semantics of C.. (context) - de Bakker, Kok - 1988
1 Trace nets (context) - Badouel, Darondeau - 1993 ACM DBLP
1 Asynchronous rendez-vous in Distributed Logic Programming - Eliens, de Vink - 1993
1 ebre de Processus Parall`eles MEIJE. PhD thesis, Th`ese de 3.. (context) - de Simone, Expressivit'e - 1984
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.vu.nl.html): More
Models for Asynchronous Message Handling - Langendoen, Bhoedjang, Bal (1997) (Correct)
Orca: a Portable User-Level Shared Object System - Bal, BHOEDJANG, HOFMAN.. (1996) (Correct)
Object Distribution in Orca using Compile-Time and Run-Time.. - Bal, Kaashoek (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC