Franck van Breugel  Home/Search
Context
Related
| di.unipi.it/pub/techrep...TR9718.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: cs.yorku.ca/~franck/reports/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ion Franck van Breugel September 09, 1997 ADDR: Corso Italia 40,56125 Pisa,Italy. TEL: +39-50-887111. FAX: +39-50-887226 Failures, Finiteness, and Full Abstraction Franck van Breugel Universit`a di Pisa, Department of Computer Science Corso Italia 40, 56125 Pisa, Italy franck@di.unipi.it Abstract For a simple CCS-like language a trace semantics and a failure semantics are presented. The failure semantics is shown to be fully abstract with respect to the trace semantics if and only if the... (Update)
Active bibliography (related documents): More All
0.5: The Semantics of the Combination of Atomized Statements and.. - Knijnenburg, Kok (1998) (Correct)
0.3: Fair Testing - Brinksma, Rensink, Vogler (1995) (Correct)
0.3: On Solving Equations in Process Algebras - Guo, al. (Correct)
Similar documents based on text: More All
0.3: Evaluation of Mobile Agent Systems with Respect to Failure.. - Wittner (1999) (Correct)
0.2: Review of Control Flow Semantics by J. de Bakker and E. de Vink - Pucella (2001) (Correct)
0.2: A Labelled Transition System for pi epsilon-Calculus - van Breugel (1997) (Correct)
BibTeX entry: (Update)
@techreport{ vanbreugel97failures,
author = "Franck van Breugel",
title = "Failures, Finiteness, and Full Abstraction",
number = "TR-97-18",
month = "9,",
year = "1997",
url = "citeseer.ist.psu.edu/vanbreugel97failures.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
906 A Structural Approach to Operational Semantics - Plotkin - 1981
502 Concurrency and Automata on Infinite Sequences (context) - Park - 1981
322 volume 92 of Lecture Notes in Computer Science (context) - Milner, of et al. - 1980
231 A Theory of Communicating Sequential Processes (context) - Brookes, Hoare et al. - 1984
61 Countable Nondeterminism and Random Assignment (context) - Apt, Plotkin - 1986
47 Fully Abstract Models of Programming Languages (context) - Stoughton - 1988
24 Processes: a Mathematical Model of Computing Agents (context) - Milner - 1973
17 The Failure of Failures in a Paradigm for Asynchronous Commu.. (context) - de Boer, Kok et al. - 1991
17 Foundations of Computing Series (context) - de Bakker, de Vink et al. - 1996
12 Readies and Failures in the Algebra of Communicating Process.. (context) - Bergstra, Klop et al. - 1988
11 Failure and Testing Equivalences for Communicating Processes (context) - Main - 1987
8 Merge and Termination (context) - Baeten, van Glabbeek - 1987
5 Theoretical Computer Science (context) - Mislove, Oles et al. - 1995
3 Foundations of Computing Series (context) - Hennessy, of - 1988
2 Fully Abstract Models for Concurrent Languages (context) - Horita - 1993
1 Available at theory (context) - Infinite, Discussion et al. - 1996
1 A Non Fully Abstract Model for a Language with Synchronizati.. (context) - van Breugel - 1994
1 Merging Regular Processes by means of Fixed-Point Theory (context) - Ch - 1986
Documents on the same site (http://www.cs.yorku.ca/~franck/reports/): More
Metric Semantics for Second Order Communication - de Bakker, al. (1995) (Correct)
Terminal Metric Spaces of Finitely Branching and Image Finite.. - van Breugel (1997) (Correct)
A Theory of Metric Labelled Transition Systems - van Breugel (1995) (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