Edifices and Full Abstraction for the Symmetric Interaction Combinators

Lecture Notes in Computer Science - Typed Lambda Calculi and Applications ◽

10.1007/978-3-540-73228-0_22 ◽

2007 ◽

pp. 305-320

Author(s):

Damiano Mazza

Keyword(s):

Full Abstraction

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

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 ◽

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 ◽

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 ◽

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 ◽

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 ◽

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 ◽

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 ◽

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

Full abstraction for strongly fair communicating processes

Theoretical Computer Science ◽

10.1016/0304-3975(96)80116-2 ◽

1995 ◽

Vol 152 (2) ◽

pp. 325

Keyword(s):

Communicating Processes ◽

Full Abstraction

Download Full-text