Mikkel Nygaard, Glynn Winskel  Home/Search
Context Related
| daimi.au.dk/~nygaard/pub/concur03.ps 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: daimi.au.dk/~nygaard/papers (more) Homepages: M.Nygaard G.Winskel |
Rate this article:      (best)Comment on this article |
Abstract: A fully abstract denotational semantics for the higher-order process language HOPLA is presented. It characterises contextual and logical equivalence, the latter linking up with simulation. The semantics is a clean, domain-theoretic description of processes as downwards-closed sets of computation paths: the operations of HOPLA arise as syntactic encodings of canonical constructions on such sets; full abstraction is a direct consequence of expressiveness with respect to computation paths; and... (Update)
Cited by: More
Basic Research in Computer Science - New-Hopla Higher-Order Process (Correct)
Domain Theory for Concurrency - Nygaard (2003) (Correct)
Technical Report - Number Ucam-Cl-Tr- Issn (1985) (Correct)
Active bibliography (related documents): More All
0.3: Linearity in Process Languages - Nygaard, Winskel (2002) (Correct)
0.3: Presheaf Models and Process Calculi - Nygaard (2002) (Correct)
0.2: HOPLA - A Higher-Order Process Language - Nygaard, Winskel (2002) (Correct)
Similar documents based on text: More All
0.6: Ariadne and HOPLa: flexible coordination of.. - Florijn, Besamusca.. (1996) (Correct)
0.5: A Simulation Environment For Ariadne - Greefhorst (1995) (Correct)
0.5: Presheaf semantics for HOPLA - Nygaard (2002) (Correct)
Related documents from co-citation: More All
8: Presheaf models for concurrency - Cattani, Winskel - 1997
6: Theoretical Computer Science (context) - Girard - 1987
6: Presheaf Models for the -Calculus - Cattani, Stark et al. - 1997
BibTeX entry: (Update)
M. Nygaard and G. Winskel. Full abstraction for HOPLA. Submitted to CONCUR'03. http://citeseer.ist.psu.edu/nygaard03full.html More
@inproceedings{ nygaard-winskel:2003,
author = {Mikkel Nygaard and Glynn Winskel},
title = {Full abstraction for HOPLA},
booktitle = {CONCUR 2003 -- Concurrency Theory. 14th International Conference. Marseille, France, September 2003. Proceedings},
year = {2003},
editor = {Roberto Amadio and Denis Lugiez},
number = {2761},
series = {Lecture Notes in Computer Science},
pages = {383--398},
publisher = {Springer-Verlag},
url = {citeseer.ist.psu.edu/nygaard03full.html} }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
854 Information and Computation (context) - Milner, Parrow et al. - 1992
357 Algebraic laws for nondeterminism and concurrency (context) - Hennessy, Milner - 1985
214 Domains for denotational semantics (context) - Scott
194 The Formal Semantics of Programming Languages (context) - Winskel - 1993
168 Theoretical Computer Science (context) - Nielsen, Plotkin et al. - 1981
118 Lambda-Calculus Models of Programming Languages (context) - Morris - 1968
112 Bisimilarity as a theory of functional programming (context) - Gordon
82 anywhere: modal logics for mobile ambients (context) - Cardelli, Gordon
77 Full abstraction for a simple parallel programming language (context) - Hennessy, Plotkin
69 Information and Computation (context) - Joyal, Nielsen et al. - 1996
58 A mixed linear and non-linear logic: proofs (context) - Benton
41 Using information systems to solve recursive domain equation.. (context) - Larsen, Winskel - 1984
32 A fully abstract denotational model for higher-order process.. (context) - Hennessy - 1994
27 A presheaf semantics of value-passing processes - Winskel
20 A Model for Communicating Sequential Processes (context) - Hoare - 1981
12 An Axiomatic Approach to Adequacy (context) - Brauner - 1996
8 Categorical models of linear logic revisited - Mellies - 2002
7 open maps and bisimulation (context) - Cattani, Winskel - 2000
7 HOPLA---a higher-order process language - Nygaard, Winskel
6 Towards an operational understanding of presheaf models - Nygaard - 2001
5 categories and cofree coalgebras (context) - Seely - 1987
5 Zappa Nardelli (context) - Winskel - 2003
1 Submitted to Theoretical Computer Science (context) - Nygaard, Winskel et al. - 2003
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.daimi.au.dk/~nygaard/papers.html): More
Linearity in Process Languages - Nygaard, Winskel (2002) (Correct)
Towards an Operational Understanding of Presheaf Models - Nygaard (2001) (Correct)
HOPLA - A Higher-Order Process Language - Nygaard, Winskel (2002) (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