Advertisement

Maximally concurrent evolution of non-sequential systems

  • R. Janicki
  • P. E. Lauer
  • R. Devillers
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 197)

Abstract

The semantics expressed intuitively as "execute as much as possible in parallel" is formally defined and analysed. The relation between such a maximally concurrent semantics and "normal" semantics is developed. Some sufficient criteria for the equivalence of these semantics are formulated. As an abstract model of non-sequential systems the COSY path expression formalism is used.

Keywords

Generalise Path Regular Expression Single Path Concurrent System Computing Laboratory 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6 References

  1. [Br80]
    W Brauer (ed.): Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, 1979. Lecture Notes in Computer Science 84, Springer Verlag, 1980Google Scholar
  2. [BR81]
    E Best, B Randell: A Formal Model of Atomicity in Asynchronous Systems, Acta Informatica 16, 93–124 (1981).Google Scholar
  3. [De83]
    R Devillers: On the Maximally Concurrent Evolution of a COSY System, Report ASM/106, Computing Laboratory, University of Newcastle upon Tyne, 1983.Google Scholar
  4. [DLMSS78]
    E W Dijkstra, L Lamport, A J Martin, C S Scholten, E F M Steffens: On the fly garbage collection: an exercise in cooperation, CACM 21, 966–975 (1978).Google Scholar
  5. [L82]
    P E Lauer: Computer System Dossiers, Proc. Int. Seminar on Synchronisation, Control and Communication in Distributed Computing Systems, London, Sept. 20 through 24, 1982. To appear in a Book by Academic Press.Google Scholar
  6. [L83]
    P E Lauer: Users' introduction to BCS: A computer based environment for specifying analysing and verifying concurrent systems, Report ASM/107, Computing Laboratory, University of Newcastle upon Tyne, June 1983.Google Scholar
  7. [LH82]
    P E Lauer, B C Hamshere: Project on a Computer Based Environment for the Design and Analysis of Highly Parallel and Distributed Computing Systems, Report ASM/103, Computing Laboratory, University of Newcastle upon Tyne, 1982.Google Scholar
  8. [LJ82]
    P E Lauer, R Janicki:The role of maximally concurrent simulation in the computer based analysis of distributed systems, Report ASM/96, Computing Laboratory, University of Newcastle upon Tyne, 1982.Google Scholar
  9. [LSC81]
    P E Lauer, M W Shields, J Y Cotronis: Formal behavioural specification of concurrent systems without globality assumptions, Int. Colloq. on Formalization of Programming Concepts, Lecture Notes in Computer Science V.107, 1981.Google Scholar
  10. [S79]
    M W Shields: Adequate Path Expressions; Proc. Intern. Symposium on the Semantics of Concurrent Computation, Evians-les-Bains, July 2–4, 1979. Lecture Notes in Computer Science No.70, Springer Verlag, 1979,pp. 249–265.Google Scholar

Copyright information

© Springer-Verlag 1985

Authors and Affiliations

  • R. Janicki
    • 1
  • P. E. Lauer
    • 2
  • R. Devillers
    • 3
  1. 1.Institute of MathematicsWarsaw Technical UniversityPoland
  2. 2.Computing LaboratoryUniversity of Newcastle upon TyneUK
  3. 3.Universite Libre de BruxellesBrusselsBelgium

Personalised recommendations