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
|