Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
35 | Klaus-Peter Löhr |
Beyond Concurrent Pascal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Sixth Symposium on Operating System Principles, SOSP 1977, Purdue University, West Lafayette, Indiana, USA, November 16-18, 1977, pp. 173-180, 1977, ACM. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
Language reliability, System implementation languages, System kernels, Concurrent Pascal, Traps |
34 | Shan Lu 0001, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou 0001 |
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2008, Seattle, WA, USA, March 1-5, 2008, pp. 329-339, 2008, ACM, 978-1-59593-958-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
bug characteristics, concurrent program, concurrency bug |
34 | Ori Shalev, Nir Shavit |
Predictive log-synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, pp. 305-315, 2006, ACM, 1-59593-322-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
concurrent, synchronization, prediction, monitor |
33 | Raju Pandey, James C. Browne |
Support for Implementation of Evolutionary Concurrent Systems in Concurrent Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par, Vol. I ![In: Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I, pp. 633-645, 1996, Springer, 3-540-61626-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Robert H. Halstead Jr. |
Past and Future Directions for Concurrent Task Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrent Objects and Beyond ![In: Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday, pp. 167-195, 2014, Springer, 978-3-662-44470-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
33 | Akinori Yonezawa, Jean-Pierre Briot, Etsuya Shibayama |
Object-Oriented Concurrent Programming in ABCL/1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrent Objects and Beyond ![In: Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday, pp. 18-43, 2014, Springer, 978-3-662-44470-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
33 | Akinori Yonezawa |
My Early Education and Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrent Objects and Beyond ![In: Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday, pp. 1-17, 2014, Springer, 978-3-662-44470-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
33 | Alessandro Ricci, Andrea Santi |
From Actors and Concurrent Objects to Agent-Oriented Programming in simpAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrent Objects and Beyond ![In: Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday, pp. 408-445, 2014, Springer, 978-3-662-44470-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
33 | Takuo Watanabe, Akinori Yonezawa |
Reflection in an Object-Oriented Concurrent Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrent Objects and Beyond ![In: Concurrent Objects and Beyond - Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday, pp. 44-65, 2014, Springer, 978-3-662-44470-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
33 | Cormac Flanagan, Susanne Graf, Madhusan Parthasarathy, Shaz Qadeer |
09361 Abstracts Collection - Design and Validation of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Design and Validation of Concurrent Systems ![In: Design and Validation of Concurrent Systems, 30.08. - 04.09.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
33 | Pascal Chambre, Pierre Deransart |
Towards a Proof method of Non-Suspension of Concurrent Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages ![In: ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
33 | Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi |
Denotational semantics for Concurrent Constraint Programs analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages ![In: ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
33 | Frank S. de Boer, Maurizio Gabbrielli, Elena Marchiori, Catuscia Palamidessi |
Proving correctness of Concurrent Constraint Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages ![In: ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
33 | Jörg Würtz |
Towards the Verification of Concurrent Constaint Programs in the Field of Finite Domain Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages ![In: ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994, pp. 87-107, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
33 | Enea Zaffanella, Giorgio Levi, Roberto Giacobazzi |
Abstracting Synchronization in Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages ![In: ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
33 | Sverker Janson, Johan Montelius, Seif Haridi |
A Survey of AKL, A General Purpose Concurrent Constraint Language (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent Constraint Programming ![In: Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
33 | Gideon Halevi, Roland D. Weill (eds.) |
Manufacturing in the Era of Concurrent Engineering, revised papers and discussions from the IFIP TC5/WG5.3/WG5.2 Working Conference on Manufacturing in the Era of Concurrent Engineering, Herzliya, Israel, 13-15 April, 1992 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manufacturing in the Era of Concurrent Engineering ![North-Holland, 0-444-89845-X The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
33 | Gideon Halevi, Roland D. Weill |
Report on CIRP Review about C. A. P. P. (Computer Aided Process Planing). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manufacturing in the Era of Concurrent Engineering ![In: Manufacturing in the Era of Concurrent Engineering, revised papers and discussions from the IFIP TC5/WG5.3/WG5.2 Working Conference on Manufacturing in the Era of Concurrent Engineering, Herzliya, Israel, 13-15 April, 1992, pp. 177-188, 1992, North-Holland, 0-444-89845-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
33 | Haim Sakat |
Manufacturing Technology System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manufacturing in the Era of Concurrent Engineering ![In: Manufacturing in the Era of Concurrent Engineering, revised papers and discussions from the IFIP TC5/WG5.3/WG5.2 Working Conference on Manufacturing in the Era of Concurrent Engineering, Herzliya, Israel, 13-15 April, 1992, pp. 129-133, 1992, North-Holland, 0-444-89845-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
33 | B. I. Cherpakov |
Potentialities of Cooperation in the Field of State of the Art Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manufacturing in the Era of Concurrent Engineering ![In: Manufacturing in the Era of Concurrent Engineering, revised papers and discussions from the IFIP TC5/WG5.3/WG5.2 Working Conference on Manufacturing in the Era of Concurrent Engineering, Herzliya, Israel, 13-15 April, 1992, pp. 135-142, 1992, North-Holland, 0-444-89845-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
33 | F. Féru, Etienne Cocquebert, H. Chaouch, Dominique Deneux, René Soenen |
Feature based modeling: sate of the art and evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manufacturing in the Era of Concurrent Engineering ![In: Manufacturing in the Era of Concurrent Engineering, revised papers and discussions from the IFIP TC5/WG5.3/WG5.2 Working Conference on Manufacturing in the Era of Concurrent Engineering, Herzliya, Israel, 13-15 April, 1992, pp. 29-50, 1992, North-Holland, 0-444-89845-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
33 | W. Loeve |
Engineering of Systems for Application of Scientific Computing in Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manufacturing in the Era of Concurrent Engineering ![In: Manufacturing in the Era of Concurrent Engineering, revised papers and discussions from the IFIP TC5/WG5.3/WG5.2 Working Conference on Manufacturing in the Era of Concurrent Engineering, Herzliya, Israel, 13-15 April, 1992, pp. 83-109, 1992, North-Holland, 0-444-89845-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
33 | David Barkan |
Computer Vision Upgrades Microelectronics Assembly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manufacturing in the Era of Concurrent Engineering ![In: Manufacturing in the Era of Concurrent Engineering, revised papers and discussions from the IFIP TC5/WG5.3/WG5.2 Working Conference on Manufacturing in the Era of Concurrent Engineering, Herzliya, Israel, 13-15 April, 1992, pp. 111-123, 1992, North-Holland, 0-444-89845-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
33 | Gideon Halevi |
Report on TC5 CATE TASK FORCE (Computer Aided Effective Task Force). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manufacturing in the Era of Concurrent Engineering ![In: Manufacturing in the Era of Concurrent Engineering, revised papers and discussions from the IFIP TC5/WG5.3/WG5.2 Working Conference on Manufacturing in the Era of Concurrent Engineering, Herzliya, Israel, 13-15 April, 1992, pp. 165-176, 1992, North-Holland, 0-444-89845-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
33 | Rilly Maayan |
The Two Stage M. M. I. S. Model as implemented at Elscint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Manufacturing in the Era of Concurrent Engineering ![In: Manufacturing in the Era of Concurrent Engineering, revised papers and discussions from the IFIP TC5/WG5.3/WG5.2 Working Conference on Manufacturing in the Era of Concurrent Engineering, Herzliya, Israel, 13-15 April, 1992, pp. 125-128, 1992, North-Holland, 0-444-89845-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
33 | Paul R. Wilson, Gul Agha, Carl Hewitt, Peter Wegner, Akinori Yonezawa (eds.) |
Proceedings of the Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990, Ottawa, Canada, October 21-25, 1990 ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![ACM, 978-0-89791-411-6 The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
33 | Etsuya Shibayama |
Semantic Layers of Object-Based Concurrent Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object-Based Concurrent Computing ![In: Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings, pp. 99-117, 1991, Springer, 3-540-55613-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
33 | Satoshi Matsuoka, Takuo Watanabe, Yuuji Ichisugi, Akinori Yonezawa |
Object-Oriented Concurrent Reflective Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object-Based Concurrent Computing ![In: Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings, pp. 211-226, 1991, Springer, 3-540-55613-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
33 | Michael Papathomas |
A Unifying Framework for Process Calculus Semantics of Concurrent Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Object-Based Concurrent Computing ![In: Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings, pp. 53-79, 1991, Springer, 3-540-55613-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
33 | Minoru Uehara, Mario Tokoro |
An adaptive load balancing method in the computational field model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990, Ottawa, Canada, October 21-25, 1990, pp. 109-113, 1990, ACM, 978-0-89791-411-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Joseph P. Loyall, Simon M. Kaplan, Steven K. Goering |
Specification and implementation of Actors with graph rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990, Ottawa, Canada, October 21-25, 1990, pp. 73-77, 1990, ACM, 978-0-89791-411-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Dennis G. Kafura, Douglas Washabaugh, Jeff Nelson |
Progress in the garbage collection of active objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990, Ottawa, Canada, October 21-25, 1990, pp. 59-63, 1990, ACM, 978-0-89791-411-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
33 | José Meseguer 0001 |
Rewriting as a unified model of concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990, Ottawa, Canada, October 21-25, 1990, pp. 86-88, 1990, ACM, 978-0-89791-411-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Oscar Nierstrasz, Michael Papathomas |
Towards a type theory for active objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990, Ottawa, Canada, October 21-25, 1990, pp. 89-93, 1990, ACM, 978-0-89791-411-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Steven S. Popovich, Gail E. Kaiser, Shyhtsun Felix Wu |
MELDing transactions and objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990, Ottawa, Canada, October 21-25, 1990, pp. 94-98, 1990, ACM, 978-0-89791-411-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Tomoyuki Tanaka |
Actor reflection without meta-objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990, Ottawa, Canada, October 21-25, 1990, pp. 114-119, 1990, ACM, 978-0-89791-411-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Michele Di Santo, Giulio Iannello |
Implementing actor-based primitives on distributed-memory architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990, Ottawa, Canada, October 21-25, 1990, pp. 45-49, 1990, ACM, 978-0-89791-411-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Jacques Malenfant, Guy Lapalme, Jean G. Vaucher |
ObjVProlog-D: a reflexive object-oriented logic language for distributed computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990, Ottawa, Canada, October 21-25, 1990, pp. 78-81, 1990, ACM, 978-0-89791-411-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Denis Caromel |
A solution to the explicit/implicit control dilemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990, Ottawa, Canada, October 21-25, 1990, pp. 21-25, 1990, ACM, 978-0-89791-411-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Pierre America |
POOL: design and experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990, Ottawa, Canada, October 21-25, 1990, pp. 16-20, 1990, ACM, 978-0-89791-411-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Dennis G. Kafura, R. Greg Lavender |
Recent progress in combining actor-based concurrency with object-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1990, Ottawa, Canada, October 21-25, 1990, pp. 55-58, 1990, ACM, 978-0-89791-411-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Gul Agha, Peter Wegner, Akinori Yonezawa (eds.) |
Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988 ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![ACM, 978-0-89791-304-1 The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | David R. Gilbert |
Specification and Implementation of Concurrent Systems using PARLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 455-473, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | W. David Crowe, Peter E. D. Strain-Clark |
A Concurrent Approach to the Towers of Hanoi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 595-610, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Jawahar Malhotra, Robert M. Shapiro, Scott A. Smolka, Alessandro Giacalone |
Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 140-152, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Peter Dybjer, Herbert P. Sander |
A Functional Programming Approach to the Specification and Verification of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 331-343, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Vincenza Carchiolo, Alberto Faro, Michele Malgeri |
A Tool for the Performance Analysis of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 121-139, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | Vangalur S. Alagar, Greetha Ramanathan |
Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Specification and Verification of Concurrent Systems ![In: Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK], pp. 196-235, 1988, Springer, 3-540-19581-5. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
33 | William C. Athas, Nanette J. Boden |
Cantor: an actor programming system for scientific computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 66-68, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Ebba Thora Hvannberg, Mukkai S. Krishnamoorthy |
An object-based parallel programming assistant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 200-202, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Itaru Ichikawa, Seiichi Aikawa, Mayumi Kamiko, Etsuo Ono, Tomoharu Mohri |
Program design visualization system for object-oriented programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 181-183, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Edward H. Bensley, Thomas J. Brando, J. C. Fohlin, Myra Jean Prelle, Ann Wollrath |
MITRE's future generation computer architectures program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 99-101, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Edward J. Segall |
Combining object-oriented techniques with data-driven parallel execution on message passing, MIMD computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 129-131, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Dave A. Thomas, Jeff McAffer, Brian M. Barry |
Actra-a multitasking/multiprocessing smalltalk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 87-90, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Smalltalk-80 |
33 | Martin Lester 0002, Roger Christensen |
Felix, an object-oriented operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 206-208, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | F. Carre, P. Clere |
Object oriented languages and actors: which language for a distributed approach? ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 73-75, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Martin S. Feather |
Language issues in the specification and design of composite systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 159-161, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Gist |
33 | Les Gasser |
MACE: High-level distributed objects in a flexible testbed for distributed AI research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 108-110, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Mike P. Papazoglou, Janis A. Bubenko Jr., Moira C. Norrie |
Intent: an integrated environment for distributed heterogeneous databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 126-128, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | William L. Bain |
Indexed, global objects for distributed memory parallel architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 95-98, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | John F. Koegel |
Parallel objects on distributed constraint logic programming machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 123-125, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
POOL |
33 | Thomas W. Christopher |
Message driven computing and its relationship to actors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 76-78, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Mehdi Jazayeri |
Objects for distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 117-119, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Lutz Heuser, Alexander Schill, Max Mühlhäuser |
Extensions to the object paradigm for the development of distributed applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 111-113, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | David E. Langworthy |
Evaluating correctness criteria for transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 139-141, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Peter de Jong |
The Ubik configurator: A fusion of messages, daemons, and rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 197-199, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Antonio Corradi, Letizia Leonardi |
PO: an object model to express parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 152-155, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Jean-Pierre Briot |
From objects to actors: study of a limited symbiosis in smalltalk-80. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 69-72, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Smalltalk-80 |
33 | Stephen A. MacKay, W. Morven Gentleman, Darlene A. Stewart |
Harmony as an object-oriented operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 209-211, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Andrea H. Skarra |
Concurrency control for cooperating transactions in an object-oriented database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 145-147, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Charles R. Ball, Theodore W. Leung, Carl A. Waldspurger |
Analyzing patterns of message passing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 191-193, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Dominique Decouchant, Sacha Krakowiak, Marie Meysembourg, Michel Riveill, Xavier Rousset de Pina |
A synchronization mechanism for typed objects in a distributed system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 105-107, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Bernd Hindel |
An object-oriented programming language for distributed systems: Heraklit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 114-116, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Yves Caseau |
A model for a reflective object-oriented language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 22-24, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Peter A. Buhr, Glen Ditchfield, C. Robert Zarnke |
Adding concurrency to a statically type-safe object-oriented programming language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 18-21, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Libero Nigro, Francesco Tisato |
Object-based real-time programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 212-214, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Carl Manning |
A peek at Acore, an actor core language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming ![In: Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, OOPSLA/ECOOP Workshop on Object-based Concurrent Programming 1988, San Diego, CA, USA, September 26-27, 1988, pp. 84-86, 1988, ACM, 978-0-89791-304-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
33 | Leslie Lamport |
An Axiomatic Semantics of Concurrent Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logics and Models of Concurrent Systems ![In: Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984, pp. 77-122, 1984, Springer, 978-3-642-82455-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
33 | C. A. R. Hoare |
Workshop on Analysis of Concurrent Systems Attempt at problem 3: The Firing Squad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 115-116, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
33 | C. A. R. Hoare |
Workshop on Analysis of Concurrent Systems Attempt at Problem 10: The Matrix Switch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 132-133, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
33 | Anne Kaldewaij |
Trace Theory and the Specification of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 211-221, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
33 | Jean-Raymond Abrial |
A Practical Approach to the Analysis of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 66-96, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
33 | Leslie Lamport |
Problems from the Workshop on the Analysis of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 252-270, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
33 | Ben C. Moszkowski |
A Temporal Analysis of Some Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Analysis of Concurrent Systems ![In: The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings, pp. 359-364, 1983, Springer, 3-540-16047-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
33 | John S. Gourlay, William C. Rounds, Richard Statman |
On Properties Preserved by Contraction of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 51-65, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Karl R. Abrahamson |
Modal Logic of Concurrent Nondeterministic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 21-33, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Amir Pnueli |
The Temporal Semantics of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 1-20, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Otthein Herzog |
Static Analysis of Concurrent Processes for Dynamic Properties Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics of Concurrent Computation ![In: Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979, pp. 66-90, 1979, Springer, 3-540-09511-X. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
33 | Yehuda Lindell |
Lower Bounds and Impossibility Results for Concurrent Self Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cryptol. ![In: J. Cryptol. 21(2), pp. 200-249, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Self and general composition, Non-black-box and black-box simulation, Lower bounds, Secure computation, Protocol composition, Impossibility results |
33 | Ravi Chugh, Jan Wen Voung, Ranjit Jhala, Sorin Lerner |
Dataflow analysis for concurrent programs using datarace detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 316-326, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
locksets, interprocedural analysis, multithreaded programs, summaries |
33 | Juichi Takahashi, Hideharu Kojima, Zengo Furukawa |
Coverage Based Testing for Concurrent Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 17-20 June 2008, Beijing, China, pp. 533-538, 2008, IEEE Computer Society, 978-0-7695-3173-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt |
Concurrent aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings, pp. 79-88, 2006, ACM, 1-59593-237-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Java, concurrency, formal verification, aspect-oriented programming, implementation |
33 | Wilhelm Hasselbring |
Programming languages and systems for prototyping concurrent applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 32(1), pp. 43-79, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
parallelism, concurrency, distribution, rapid prototyping, very high-level languages |
33 | Xin Zhang 0002, Elke A. Rundensteiner |
DyDa: Dynamic Data Warehouse Maintenance in a Fully Concurrent Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, Second International Conference, DaWaK 2000, London, UK, September 4-6, 2000, Proceedings, pp. 94-103, 2000, Springer, 3-540-67980-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Data Updates and Schema Changes, Concurrency, Data Warehousing, View Maintenance |
33 | Cynthia Dwork, Amit Sahai |
Concurrent Zero-Knowledge: Reducing the Need for Timing Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '98, 18th Annual International Cryptology Conference, Santa Barbara, California, USA, August 23-27, 1998, Proceedings, pp. 442-457, 1998, Springer, 3-540-64892-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Youngmin Hur, Saghir A. Shaikh, Silvian Goldenberg, D. Kacprzak, Stephen A. Szygenda |
Concurrent Fault and Design Error Simulation in Interactive Simulation Automation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 30st Annual Simulation Symposium (SS '97), April 7-9, 1997, Atlanta, GA, USA, pp. 168-176, 1997, IEEE Computer Society, 0-8186-7934-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
33 | Maurice Herlihy, Jeannette M. Wing |
Linearizability: A Correctness Condition for Concurrent Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 12(3), pp. 463-492, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky |
CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 456-467, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
verification, synthesis, concurrent garbage collection, concurrent algorithms |
33 | Lukasz Ziarek, Philip Schatz, Suresh Jagannathan |
Stabilizers: a modular checkpointing abstraction for concurrent functional programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 136-147, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
transactions, checkpointing, concurrent programming, exception handling, error recovery, concurrent ML |
33 | Shigemasa Takai, Toshimitsu Ushio |
Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 15(1), pp. 7-32, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Concurrent discrete event system, concurrent well-posedness, controllability, observability, supervisory control |