H ? « ‹ ← → › »

Language peer sets for COSY:
United Kingdom↑
United Kingdom/1979↑
Designed 1979 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Genus Graph ↑
Specialised Languages ↑
Graph↑
Rank 1 folded unlabelled↑
Rank 1 folded ↑
Graph/1979↑
Rank 1 folded unlabelled/1979↑
Rank 1 folded/1979↑
Graph/United Kingdom↑
Rank 1 folded unlabelled/United Kingdom↑
Rank 1 folded/United Kingdom↑
Specialised Languages ↑
Specialised Languages/1979↑
Specialised Languages/uk ↑

COSY(ID:4988/cos006)

alternate simple view
Country: United Kingdom
Designed 1979
Genus: Graph
Sammet category: Specialised Languages

Graph-based system specification language
References:
  • Lauer, P.E., Shields, M.W. and Best, E. (1979) Lauer, P.E., Shields, M.W. and Best, E. "Formal Theory of the Basic COSY Notation" CS-TR: 143, Department of Computing Science, University of Newcastle, 1979 Abstract Online copy
  • Lauer, P.E., Torrigiani, P.R. and Shields, M.W. (1979) Lauer, P.E., Torrigiani, P.R. and Shields, M.W. "COSY: A System Specification Language based on Paths and Processes" CS-TR: 136, Department of Computing Science, University of Newcastle, 1979 Abstract Online copy
  • Peter E. Lauer, Piero R. Torrigiani, M. W. Shields (1979) Peter E. Lauer, Piero R. Torrigiani, M. W. Shields "COSY - A System Specification Language Based on Paths and Processes" pp109-158
          in (1979) Acta Informatica 12(2) July 24, 1979
  • Lauer, P.E. and Shields, M.W. (1980) Lauer, P.E. and Shields, M.W. "COSY: An Environment for Development and Analysis of Concurrent and Distributed Systems" CS-TR: 153, Department of Computing Science, University of Newcastle, 1980 Abstract Online copy
          in (1979) Acta Informatica 12(2) July 24, 1979
  • Lauer, P.E. and Torrigiani, P.R. (1980) Lauer, P.E. and Torrigiani, P.R. "A COSY Banker: Specification Highly Parallel and Distributed Resource Management" CS-TR: 151, Department of Computing Science, University of Newcastle, 1980 Abstract Online copy
          in (1979) Acta Informatica 12(2) July 24, 1979
  • Peter E. Lauer, Piero R. Torrigiani, Raymond R. De (1980) Peter E. Lauer, Piero R. Torrigiani, Raymond R. Devillers: "A Cosy Banker" Symposium on Programming 1980: 223-239
          in (1979) Acta Informatica 12(2) July 24, 1979
  • Shields, M. (1980) Shields, M. W. ; Peter E. Lauer: Verifying Concurrent System Specification in COSY. MFCS 1980: 576-586
          in (1979) Acta Informatica 12(2) July 24, 1979
  • Shields, M.W. and Lauer, P.E. (1980) Shields, M.W. and Lauer, P.E. "Programming and Verifying Concurrent Systems in COSY" CS-TR: 155, Department of Computing Science, University of Newcastle, 1980 Abstract Online copy
          in (1979) Acta Informatica 12(2) July 24, 1979
  • Shields, M.W. and Lauer, P.E. (1980) Shields, M.W. and Lauer, P.E. "Verifying Concurrent Systems Specification in COSY" CS-TR: 152, Department of Computing Science, University of Newcastle, 1980 Abstract Online copy
          in (1979) Acta Informatica 12(2) July 24, 1979
  • Best, Eike (1986) Best, Eike "COSY: Its Relation to Nets and CSP" Advances in Petri Nets 1986: 416-440
          in (1979) Acta Informatica 12(2) July 24, 1979
  • Koutny, M. (1988) Koutny, M. "Adequacy-preserving Transformatics of COSY Path Programs" CS-TR: 270, Department of Computing Science, University of Newcastle, 1988 Abstract Online copy
          in (1979) Acta Informatica 12(2) July 24, 1979
  • Maciej Koutny: Adequacy-Preserving Transformations (1988) Maciej Koutny: Adequacy-Preserving Transformations of COSY Path Programs. Concurrency 1988: 368-379
          in (1979) Acta Informatica 12(2) July 24, 1979
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder