Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes-Reference-Cited by-同舟云学术

Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes

Published:2005 Issue: Volume: Page:37-51
ISSN:0302-9743
Container-title:Theoretical Aspects of Computing - ICTAC 2004
language:
Short-container-title:

Author:

Ábrahám Erika,Bonsangue Marcello M.,de Boer Frank S.,Steffen Martin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-31862-0_5

Reference13 articles.

1. Abadi, M., Cardelli, L.: A Theory of Objects. Monographs in Computer Science. Springer, Heidelberg (1996)

2. Ábrahám, E., Bonsangue, M.M., de Boer, F.S., Steffen, M.: A structural operational semantics for a concurrent class calculus. Technical Report 0307, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel (August 2003)

3. Ábrahám, E., Bonsangue, M.M., de Boer, F.S., Steffen, M.: Object connectivity and full abstraction for a concurrent calculus of classes. Preliminary technical report, Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität zu Kiel (January 2005)

4. Fiore, M., Moggi, E., Sangiorgi, D.: A fully-abstract model for the π-calculus (extended abstract). In: Proceedings of LICS 1996, July 1996, pp. 43–54. IEEE Computer Society Press, Los Alamitos (1996)

5. Electronic Notes in Theoretical Computer Science;A.D. Gordon,1998

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Full Abstraction at Package Boundaries of Object-Oriented Languages;Formal Methods, Foundations and Applications;2011

2. Heap-Abstraction for an Object-Oriented Calculus with Thread Classes;Logical Approaches to Computational Barriers;2006

3. Model-Based Security Engineering with UML: Introducing Security Aspects;Formal Methods for Components and Objects;2006

4. A Fully Abstract Semantics for UML Components;Formal Methods for Components and Objects;2005

5. Observability, Connectivity, and Replay in a Sequential Calculus of Classes;Formal Methods for Components and Objects;2005