Specification and analysis of concurrent systems The COSY approach

Specification and analysis of concurrent systems The COSY approach

Bibliographic Details
Main Authors:	Janicki, Ryszard (Author), Lauer, Peter E. (Author)
Format:	Book
Language:	English
Published:	Berlin Springer-Verlag c1992
Series:	EATCS Monographs in Theoretical Computer Science / W. Brauer, G. Rozenberg, A. Salomaa
Subjects:	COMPLEX SYSTEMS CONCURRENT SYSTEMS COSY PARALLEL PROGRAMMING

Similar Items

Concurrent Constraint Programming
by: Saraswat, Vijay A.
Published: (1993)

Concurrent Aggregates Supporting Modularity in Massively Parallel Programs
by: Chien, Andrew A.
Published: (1993)

Engineering of complex computer systems (ICECCS;99) Fifth IEEE international conference Octover 18-21,1999 Las Vegas,Nevada, USA
Published: (1999)

Parallel programming
by: Perrott, R. H.
Published: (1987)

Designing and building parallel programs Concepts and tools for parallel software engineering
Published: (1995)

Practical parallel programming
by: Wilson, Gregory V.
Published: (1995)

Parallel Programming in Open MP
by: Chandra, Rohit, et al.
Published: (2001)

Parallel Programming Techniques and applications using networked workstations and parallel computers
by: Wilkinson, Barry, et al.
Published: (1999)

Parallel programming and compilers
by: Polychronopoulos, C. D.
Published: (1988)

How to Write Parallel Programs A First Course
by: Carriero, Nicholas, et al.
Published: (1990)

Parallel architectures and their efficient use Proceedings of the First Heinz Nixdorf Symposium Paderborn, germany, November 11-13, 1992
Published: (1993)

Introduction to Parallel Algorithms and Architectures:Arrays, Trees, Hypercubes
by: Leighton, F. T.
Published: (1992)

Parallel architectures and neural networks First Italian workshop Vietri sul mare. Salerno, 27-29 April, 1988
Published: (1989)

PARLE'92 parallel architecture and languages europe Proceedings of the 4th international conference Paris, France, June 15-18, 1992
Published: (1992)

PARLE '93 parallel architectures and languages europe Proceedings of the 5th international conference Munich, Germany, June 14-17, 1993
Published: (1993)

PARLE'89 Parallel Architectures and Languages Europe Proceedings. Eindhoven, Netherlands, June 12-16, 1989
Published: (1989)

PARLE 94 Parallel Architectures and Languages Europe Proceedings of the 6th International PARLE Conference Athens, Greece, July 4-8, 1994
Published: (1994)

PARLE'91 parallel architectures and languages europe Proceedings. Eindhoven, Netherlands, June 10-13, 1991
Published: (1991)

PARLE 89 Parallel Architectures and Languages Europe Proceedings. Eindhoven, The Netherlands, June 12-16, 1989
Published: (1989)

Using MPI Portable Parallel Programming with the Message-Passing Interface
by: Gropp, William, et al.
Published: (1994)

Principles and practice of Parallel Programming Proceedings of7th ACM/SIGPLAN Symposium Atlanta, Georgia 4-6 May 1999 ACM/SIGPLAN Notices vol. 34 no 8 august 1999
Published: (1999)

Proceedings of the 7th International Workshop on Programming Models and Applications for Multicores and Manycores
Published: (2016)

Proceedings of the 2008 ACM SIGPLAN workshop on Memory systems performance and correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08)
Published: (2008)

Complex Systems
Published: (1978)

IEEE Transactions on Parallel and Distributed Systems
Published: (1991)

PARLE'91 parallel architectures and languages europe Proceedings. Eindhoven, Netherlands, June 10-13, 1991
Published: (1991)

Proceedings of the sixth ACM SIGPLAN symposium on Principles and practice of parallel programming
Published: (1997)

Proceedings of the fourth international workshop on High-level parallel programming and applications
Published: (2010)

Ανάπτυξη Εξομοιωτή για την Παράλληλη Αρχιτεκτονική PiSMA, σε PC Διπλωματική εργασία.
by: Κοκοζίδης, Χρήστος ΑΜ (1466)
Published: (1998)

Proceedings of the IEEE symposium on Parallel rendering
Published: (1997)

Proceedings of the Second Workshop on Accelerator Programming using Directives
Published: (2015)

Proceedings of 2nd Workshop on General Purpose Processing on Graphics Processing Units
Published: (2009)

Proceedings of the 2012 International Workshop on Programming Models and Applications for Multicores and Manycores
Published: (2012)

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming
Published: (2008)

Proceedings of the 3rd International Workshop on Multicore Software Engineering
Published: (2010)

Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
Published: (1988)

Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming
Published: (2001)

Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Published: (2017)

Proceedings of the First Workshop on Principles and Practice of Consistency for Distributed Data
Published: (2015)

Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Published: (1990)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών