Typechecking Safe Process Synchronization-Reference-Cited by-同舟云学术

Typechecking Safe Process Synchronization

Published:2005-09 Issue:1 Volume:138 Page:3-22
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Bonelli Eduardo,Compagnoni Adriana,Gunter Elsa

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference23 articles.

1. Correspondence assertions for process synchronization in concurrent communications;Bonelli;Electronic Notes in Theoretical Computer Science,2003

2. Bonelli, E., A. Compagnoni and E. Gunter, Correspondence assertions for process synchronization in concurrent communications, Technical Report 2003-8, Department of Computer Science, Stevens Institute of Technology (2003)

3. Bonelli, E., A. Compagnoni and E. Gunter, Typechecking safe process synchronization, Technical Report 2004-3, Department of Computer Science, Stevens Institute of Technology (2004)

4. Correspondence assertions for process synchronization in concurrent communications;Bonelli;Journal of Functional Programming,2005

5. A linear logical framework;Cervesato;Information and Computation,2002

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

1. Foundations of Session Types and Behavioural Contracts;ACM Computing Surveys;2016-07-28

2. Formalising Security in Ubiquitous and Cloud Scenarios;Computer Information Systems and Industrial Management;2012

3. Call-by-Contract for Service Discovery, Orchestration and Recovery;Lecture Notes in Computer Science;2011

4. Objects and session types;Information and Computation;2009-05

5. Type checking a multithreaded functional language with session types;Theoretical Computer Science;2006-12