Computing the behaviour of asynchronous processes

Staples J. and Nguyen V.L. (1983) Computing the behaviour of asynchronous processes. Theoretical Computer Science, 26 3: 343-353. doi:10.1016/0304-3975(83)90017-8


Author Staples J.
Nguyen V.L.
Title Computing the behaviour of asynchronous processes
Journal name Theoretical Computer Science   Check publisher's open access policy
ISSN 0304-3975
Publication date 1983-01-01
Sub-type Article (original research)
DOI 10.1016/0304-3975(83)90017-8
Volume 26
Issue 3
Start page 343
End page 353
Total pages 11
Subject 1703 Computational Theory and Mathematics
Abstract We describe a variation of Brock-Ackerman's (1981) model of nondeterministic asynchronous process, and devise a computational method for characterizing asynchronous processes defined by networks. This method is shown to be equivalent to a method of combining traces related to that of Brock and Ackerman. Recursively defined networks are also considered.
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Journal Article
Sub-type: Article (original research)
Collection: Scopus Import - Archived
 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 3 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 4 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Tue, 28 Jun 2016, 10:33:27 EST by System User