| |
 |
|
|
Rem, Martin
Eindhoven Univ. of Technology
Eindhoven, Netherlands
|
|
 |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 10 of 11
reviews
|
|
|
|
|
|
|
|
Specification and proof in real-time CSP
Davies J., Cambridge University Press, New York, NY, 1993. Type: Book (9780521450553)
The field of distributed computing witnessed a major breakthrough in the 1980s when the language of Communicating Sequential Processes (CSP) and its associated failures model were invented. By considering only sequences of observable ...
|
Jul 1 1994 |
|
|
|
|
|
|
Nets, terms and formulas
Olderog E. (ed), Cambridge University Press, New York, NY, 1991. Type: Book (9780521400442)
The theory of concurrency is a fruitful area of research, which has resulted in a wealth of formalisms for the description and study of concurrent processes. The unique feature of this book is that it unifies different views of concurr...
|
Oct 1 1992 |
|
|
|
|
|
|
Concurrent programming
Schiper A., Halsted Press, New York, NY, 1989. Type: Book (9789780470213469)
Concurrent programming deals with the problem of synchronizing and controlling more or less independent tasks that use common resources. Typical examples are the readers/writers problem and producer-consumer couplings. Good textbooks i...
|
Jul 1 1990 |
|
|
|
|
|
|
Simulation and performance evaluation of parallel software on multiprocessor systems
Rizzo L. Microprocessors & Microsystems 13(1): 39-46, 1989. Type: Article
In the course of designing parallel programs for multiprocessor systems, one often wants to simulate different designs before they are actually implemented so that the ultimate program is fine-tuned for the particular system. To accomm...
|
Mar 1 1990 |
|
|
|
|
|
|
The use of temporal logic in the compositional specification of concurrent systems
Barringer H. (ed), Academic Press Prof., Inc., San Diego, CA, 1987. Type: Book (9789780122740602)
The author discusses the use of temporal logic for specifying concurrent systems. In particular, he addresses the problems that are being encountered in the search for sufficiently abstract semantics for these systems....
|
Feb 1 1989 |
|
|
|
|
|
|
DIB--a distributed implementation of backtracking
Finkel R., Manber U. ACM Transactions on Programming Languages and Systems 9(2): 235-256, 1987. Type: Article
Writing distributed programs is significantly more difficult than writing sequential programs. DIB is a software package aimed at enabling novice programmers to write distributed programs in a basically sequential manner. The applicati...
|
Sep 1 1988 |
|
|
|
|
|
|
Introduction to VLSI silicon devices: physics, technology and characterization
El-Kareh B., Bombard R., Kluwer Academic Publishers, Norwell, MA, 1986. Type: Book (9789780898382105)
Recently there has been a growing interest in the possibilities and challenges that integrated circuit technology offers for the implementation of efficient electronic systems. This interest in VLSI (Very Large Scale Integration) range...
|
Oct 1 1987 |
|
|
|
|
|
|
A practical approach to the analysis of concurrent systems
Abrial J. The analysis of concurrent systems (, Cambridge, 961985. Type: Proceedings
In the context of the analysis of concurrent processes, this well-written paper presents two distinct ideas. The first one is that the cooperation of two processes may be modeled as the intersection of their behaviors in isolation. Thi...
|
Aug 1 1986 |
|
|
|
|
|
|
Communicating sequential processes
Hoare C., Prentice-Hall, Inc., Upper Saddle River, NJ, 1985. 256 pp. Type: Book (9780131532717)
Concurrent computations may be viewed as collections of sequential processes that communicate by simultaneously engaging in events. This model of concurrency has recently been drawing a lot of attention among computer scientists. It is...
|
Mar 1 1986 |
|
|
|
|
|
|
CIRCAL and the representation of communication, concurrency, and time
Milne G. ACM Transactions on Programming Languages and Systems 7(2): 270-298, 1985. Type: Article
CIRCAL is, like CCS [1], a calculus of communicating components. Different components can be assembled to form larger components. Communication is instantaneous and has no direction. CIRCAL distinguishes itself primarily from CCS in th...
|
Oct 1 1985 |
|
|
|
|
|
| |
|
|
| |
|
|
