Error recovery in asynchronous systems
IEEE Transactions on Software Engineering
Atomic actions for fault-tolerance using CSP
IEEE Transactions on Software Engineering
Concurrency and forward recovery in atomic actions
IEEE Transactions on Software Engineering
Script: a communication abstraction mechanism and its verification
Science of Computer Programming
An axiomatic treatment of exception handling in an expression-oriented language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Cooperating proofs for distributed programs with multiparty interactions
Information Processing Letters
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
An exception handling mechanism for SR
Computer Languages
Proof theory for exception handling in a tasking environment
Acta Informatica
A Hoare-like verification system for a language with an exception handling mechanism
MFCS '89 Selected papers of the symposium on Mathematical foundations of computer science
Ada exception handling: an axiomatic approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM
Exception handling in parallel computations
ACM SIGPLAN Notices
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
Program structures for exceptional condition handling.
Program structures for exceptional condition handling.
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
Implementing transactions using Ada exceptions: which features are missing?
ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
Advances in exception handling techniques
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Programming with exceptions in JCilk
Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages
Supporting exception handling for futures in Java
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Asynchronous exception propagation in blocked tasks
Proceedings of the 4th international workshop on Exception handling
Specification of an exception handling system for a replicated agent environment
Proceedings of the 4th international workshop on Exception handling
As-if-serial exception handling semantics for Java futures
Science of Computer Programming
Exception handling and asynchronous active objects: issues and proposal
Advanced Topics in Exception Handling Techniques
Towards an error model for OpenMP
IWOMP'10 Proceedings of the 6th international conference on Beyond Loop Level Parallelism in OpenMP: accelerators, Tasking and more
Hi-index | 0.00 |