Analysis of deadlocks in object groups

Authors:
Elena Giachino;Cosimo Laneve
Affiliations:
Dipartimento di Scienze dell'Informazione, Università di Bologna;Dipartimento di Scienze dell'Informazione, Università di Bologna
Venue:
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Year:
2011

Citing 18
Cited 1

A Theory of Communicating Sequential Processes

Journal of the ACM (JACM)
Object-oriented concurrent programming ABCL/1

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Active objects in hybrid

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
A calculus of mobile processes, II

Information and Computation
Toward a method of object-oriented concurrent programming

Communications of the ACM
Higher-order concurrent programs with finite communication topology (extended abstract)

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Types as models: model checking message-passing programs

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Featherweight Java: a minimal core calculus for Java and GJ

ACM Transactions on Programming Languages and Systems (TOPLAS)
A Calculus of Communicating Systems

A Calculus of Communicating Systems
Programming with Object Groups in CORBA

IEEE Concurrency
Debugging Concurrent Systems Based on Object Groups

ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Asynchronous and deterministic objects

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Types for safe locking: Static race detection for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
The Must Preorder Revisited

CONCUR '07 Proceedings of the 18th international conference on Concurrency Theory
A complete guide to the future

ESOP'07 Proceedings of the 16th European conference on Programming
JCoBox: generalizing active objects to concurrent components

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
History-dependent automata: an introduction

SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
A new type system for deadlock-free processes

CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory

Decidability problems for actor systems

CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory

Quantified Score

Hi-index	0.02

Visualization

Abstract

Object groups are collections of objects that perform collective work. We study a calculus with object groups and develop a technique for the deadlock analysis of such systems based on abstract descriptions of method's behaviours.