Correctness and full abstraction of metric semantics for concurrency

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - Lecture Notes in Computer Science ◽

10.1007/bfb0013038 ◽

1989 ◽

pp. 628-659 ◽

Cited By ~ 5

Author(s):

J. J. M. M. Rutten

Keyword(s):

Full Abstraction ◽

Metric Semantics

Download Full-text

Full Abstraction for Strongly Fair Communicating Processes

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)00004-0 ◽

2004 ◽

Vol 1 (1) ◽

pp. 1-20

Author(s):

S Brookes

Keyword(s):

Communicating Processes ◽

Full Abstraction

Download Full-text

Metric semantics for concurrency

BIT Numerical Mathematics ◽

10.1007/bf01941131 ◽

1988 ◽

Vol 28 (3) ◽

pp. 504-529 ◽

Cited By ~ 28

Author(s):

J. W. de Bakker ◽

J. -J. Ch. Meyer

Keyword(s):

Metric Semantics

Download Full-text

Full Abstraction for Fair Testing in CCS

Algebra and Coalgebra in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-642-40206-7_14 ◽

2013 ◽

pp. 175-190 ◽

Cited By ~ 3

Author(s):

Tom Hirschowitz

Keyword(s):

Full Abstraction

Download Full-text

Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases

Journal of Logical and Algebraic Methods in Programming ◽

10.1016/j.jlamp.2014.09.003 ◽

2015 ◽

Vol 84 (1) ◽

pp. 155-184 ◽

Cited By ~ 10

Author(s):

Jean Goubault-Larrecq

Keyword(s):

Full Abstraction

Download Full-text

Full Abstraction for Probabilistic PCF

Journal of the ACM ◽

10.1145/3164540 ◽

2018 ◽

Vol 65 (4) ◽

pp. 1-44 ◽

Cited By ~ 6

Author(s):

Thomas Ehrhard ◽

Michele Pagani ◽

Christine Tasson

Keyword(s):

Full Abstraction

Download Full-text

Full Abstraction for HOPLA

CONCUR 2003 - Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45187-7_25 ◽

2003 ◽

pp. 383-398 ◽

Cited By ~ 3

Author(s):

Mikkel Nygaard ◽

Glynn Winskel

Keyword(s):

Full Abstraction

Download Full-text

Sequentiality and full abstraction

Applications of Categories in Computer Science ◽

10.1017/cbo9780511525902.005 ◽

1992 ◽

pp. 66-94 ◽

Cited By ~ 1

Author(s):

P.-L. Curien

Keyword(s):

Full Abstraction

Download Full-text

Full Abstraction for PCF (extended abstract)

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-57887-0_87 ◽

1994 ◽

pp. 1-15 ◽

Cited By ~ 36

Author(s):

Samson Abramsky ◽

Pasquale Malacaria ◽

Radha Jagadeesan

Keyword(s):

Full Abstraction

Download Full-text

Full abstraction and the Context Lemma (preliminary report)

Lecture Notes in Computer Science - Theoretical Aspects of Computer Software ◽

10.1007/3-540-54415-1_44 ◽

1991 ◽

pp. 131-151 ◽

Cited By ~ 2

Author(s):

Trevor Jim ◽

Albert R. Meyer

Keyword(s):

Preliminary Report ◽

Full Abstraction

Download Full-text

The Full Abstraction Problem

Domain-Theoretic Foundations of Functional Programming ◽

10.1142/9789812772596_0006 ◽

2006 ◽

pp. 45-49

Keyword(s):

Full Abstraction

Download Full-text