Anna Ingólfsdóttir  Home/Search
Context Related
| brics.dk/RS/95/Ref...RICSRS953.ps.gz 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: brics.dk/RS/95/Ref/BRICSRS95... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A general class of languages and denotational models for value-passing calculi based on the late semantic approach is defined. A concrete instantiation of the general syntax is given. This is a modification of the standard CCS according to the late approach. A denotational model for the concrete language is given, an instantiation of the general class. An equationally based proof system is defined and shown to be sound and complete with respect to the model. (Update)
Context of citations to this paper: More
...of two companion papers on a semantic theory for communicating processes with values based on the late approach. In the first one, [Ing95], we explained the general idea of the late semantic approach. Furthermore we introduced a general syntax for value passing process algebra...
...to a full abstractness result with respect to a denotational model defined in terms of an algebraic domain. See for instance [Hen88, AH92, HI93, Ing95] for this. The structure of what remains of the paper is as follows: In the next section we define the readiness preorder as...
Cited by: More
Weak Semantics Based on Lighted Button Pressing.. -.. (1996) (Correct)
A Semantic Theory for Value-Passing Processes - Part.. -.. (1995) (Correct)
Similar documents (at the sentence level):
21.2%: A Semantic Theory for Value-Passing Processes Based on the.. - Ingolfsdottir (2003) (Correct)
15.4%: A Semantic Theory for Value-Passing Processes Late Approach - Ingólfsdóttir (1995) (Correct)
Active bibliography (related documents): More All
0.5: Semantics of Name and Value Passing - Fiore, Turi (2001) (Correct)
0.3: CPO Models for GSOS Languages - Part I: Compact GSOS Languages - Aceto, Ingólfsdóttir (1994) (Correct)
0.3: Barbed Bisimulation - Milner, Sangiorgi (1992) (Correct)
Similar documents based on text: More All
1.2: 2-Nested Simulation is not Finitely Equationally.. - Aceto, Fokkink.. (2000) (Correct)
1.2: A Fully Abstract Denotional Model . . . - Ingolfsdottir, al. (Correct)
0.8: A Model of Intuitionistic Affine Logic from Stable Domain Theory - Braüner (1994) (Correct)
Related documents from co-citation: More All
2: A lattice-theoretical fixpoint theorem and its applications (context) - Tarski - 1955
2: A Domain Equation for Bisimulation (context) - Abramsky - 1988
2: Algebraic Theory of Processes (context) - Hennessy - 1988
BibTeX entry: (Update)
A. Ing'olfsd'ottir. A semantic theory for value-passing processes late approach --- Part I: A denotational model and its complete axiomatization. Report RS--95--3, brics, Institute for Electronic Systems, Department of Mathematics and Computer Science, Aalborg University Centre, 1995. http://citeseer.ist.psu.edu/503709.html More
@misc{ ing'olfsd'ottir95semantic,
author = "A. Ing'olfsd'ottir",
title = "A semantic theory for value-passing processes late approach --- Part I:
A denotational model and its complete axiomatization",
text = "A. Ing'olfsd'ottir. A semantic theory for value-passing processes late
approach --- Part I: A denotational model and its complete axiomatization.
Report RS--95--3, brics, Institute for Electronic Systems, Department of
Mathematics and Computer Science, Aalborg University Centre, 1995.",
year = "1995",
url = "citeseer.ist.psu.edu/503709.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1978
854 Information and Computation (context) - Milner, Parrow et al. - 1992
447 Prentice-Hall International (context) - Milner, Concurrency - 1989
322 volume 92 of Lecture Notes in Computer Science (context) - Milner, of et al. - 1980
299 Algebraic Theory of Processes (context) - Hennessy - 1988
146 A powerdomain construction (context) - Plotkin - 1976
112 Initial algebra semantics and continuous algebras (context) - Goguen, Thatcher et al. - 1977
84 A domain equation for bisimulation (context) - Abramsky - 1991
75 Domain theory in logical form (context) - Abramsky - 1987
72 Journal of Computer and System Sciences (context) - Smyth - 1978
58 Theoretical Computer Science (context) - Winskel, modality
47 Department of Computer Science (context) - Milner, -calculus et al.
42 Modal logics for mobile processes - Milner, Parrow et al. - 1991
36 Concurrent processes and their syntax (context) - Milne, Milner - 1979
32 A fully abstract denotational model for higher-order process.. (context) - Hennessy - 1994
27 Proof systems for message-passing process algebras - Hennessy, Lin - 1993
24 A theory of communicating processes with value-passing (context) - Hennessy, Ing'olfsd'ottir - 1993
20 A term model for CCS (context) - Hennessy, Plotkin - 1980
20 A modal logic for message passing processes (context) - Hennessy, Liu
11 Lecture notes in domain theory (context) - Plotkin - 1981
7 Late and early semantics coincide for testing (context) - Ing'olfsd'ottir
7 From -calculus to higher-order -calculus --- and back (context) - Sangiorgi - 1993
4 A Semantic Theory for Value-Passing Processes (context) - Ing'olfsd'ottir
4 Semantic Models for Communicating Process with Value-Passing (context) - Ing'olfsd'ottir
3 Department of Computing (context) - Thomsen, Report - 1989
Documents on the same site (http://www.brics.dk/RS/95/Ref/BRICS-RS-95-Ref/): More
MONA: Monadic Second-Order Logic in Practice - Henriksen, Jensen.. (1995) (Correct)
Compositional Model Checking of Real Time Systems - Laroussinie, al. (1995) (Correct)
Monadic Second-Order Logic, Graphs and Unfoldings of.. - Courcelle, Walukiewicz (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