1492 search results - page 184 / 299 » Concurrent programming in VISO |
CAISE
1999
Springer
15 years 5 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
105
click to vote
SCCC
1998
IEEE
15 years 5 months ago
1998
IEEE
Java is a programming language designed with concurrency in mind from its inception. However, the synchronization mechanism provided is a restricted version of Hoare's Monito...
106
Voted
CSCW
1996
ACM
15 years 4 months ago
1996
ACM
This paper introduces COAST, an object-oriented toolkit for the development of synchronous groupware, which enhances the usability and simplifies the development of such applicati...
87
Voted
LICS
1992
IEEE
15 years 4 months ago
1992
IEEE
d Abstract) Frank S. de Boer, Jan Willem Klopyz , Catuscia Palamidessiyx We study the paradigm of asynchronous process communication, as contrasted with the synchronous communicat...
CAV
2010
Springer
15 years 4 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...