Jeeg: temporal constraints for the synchronization of concurrent objects-Reference-Cited by-同舟云学术

Jeeg: temporal constraints for the synchronization of concurrent objects

Published:2005 Issue:5-6 Volume:17 Page:539-572
ISSN:1532-0626
Container-title:Concurrency and Computation: Practice and Experience
language:en
Short-container-title:Concurrency Computat.: Pract. Exper.

Author:

Milicia Giuseppe,Sassone Vladimiro

Publisher

Wiley

Subject

Computational Theory and Mathematics,Computer Networks and Communications,Computer Science Applications,Theoretical Computer Science,Software

Reference28 articles.

1. POOL: design and experience

2. Lecture Notes;Briot,1987

3. Analysis of inheritance anomaly in object-oriented concurrent programming language. Research Directions in Concurrent Object-Oriented Programming, (eds.). MIT Press: Cambridge, MA, 1993; 107-150.

4. The temporal logic of programs. Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science (FOCS-77). IEEE Computer Society Press: Los Alamitos, CA, 1977; 46-57.

5. Lecture Notes;Lichtenstein,1985

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

1. Parameterized, concurrent session types for asynchronous multi-actor interactions;Science of Computer Programming;2016-01

2. Parameterized Concurrent Multi-Party Session Types;Electronic Proceedings in Theoretical Computer Science;2012-08-15

3. simpA: An agent-oriented approach for programming concurrent applications on top of Java;Science of Computer Programming;2011-01

4. A type safe state abstraction for coordination in Java-like languages;Acta Informatica;2008-10-08

5. DsCWeaver;International Journal of Web Services Research;2008-07