Specification and analysis of concurrent systems : the COSY approach /

Specification and analysis of concurrent systems : the COSY approach /

57

Bibliographic Details
Main Authors:	193410 Janicki, Ryszard, Lauer, Peter E.
Format:
Published:	Berlin : Springer-Verlag, 1992
Subjects:	Parallel processing (Electronic computers)

Similar Items

Specification and verification of concurrent systems /
by: Rattray, C. (Charles), 1938-
Published: (1990)

Logics and models of concurrent systems /
by: Apt, Krzysztof
Published: (1985)

Parallel and Concurrent Computing /
by: Pauley, Loris, author 640090, et al.
Published: (2012)

Solving problems on concurrent processors /
by: Fox, Geoffery C.
Published: (1988)

Principles of concurrent and distributed programming /
by: Ben-Ari, M., 1948-
Published: (1990)

Concurrent information processing and computing /
by: NATO Advanced Research Workshop on Concurrent Information Processing and Computing ( 2003 : Sinaia, Romania), et al.
Published: (2005)

Principles of concurrent and distributed programming /
by: Ben-Ari, M., 1948-
Published: (2006)

Concurrency control and recovery in database systems /
by: 253037 Bernstein, Philip A., et al.
Published: (1987)

Introduction to concurrency in programming languages /
by: 235053 Sottile, Matthew J., et al.
Published: (2009)

Concurrent systems : operating systems, database and distributed systems : an integrated apporoach /
by: Bacon, Jean, 1942-
Published: (1998)

A rigorous examination of sequentially expressed algorithms to reveal their concurrency hierarchies
by: Jones, C, et al.
Published: (1977)

Concurrent programming in ML /
by: 178781 Reppy, John H.
Published: (2007)

Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems /
by: 180279 Bowman, Howard, et al.
Published: (2006)

CONCUR 2007 - Concurrency Theory [electronic resource] : 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007: Proceedings /
by: International Conference on Concurrency Theory (18th : 2007 : Lisbon, Portugal), et al.
Published: (2007)

Supervisory control of concurrent systems : a Petri net structural approach /
by: 272536 Iordache, Marian Valentin, et al.
Published: (2006)

Concurrent and distributed computing in java /
by: 571775 Garg, Vijay K. (Vijay Kumar), 1963-
Published: (2004)

Structured concurrent programming with operating systems applications /
by: Holt, Richard C.
Published: (1978)

Research directions in concurrent object-oriented programming /
by: Agha, Gul, et al.
Published: (1993)

Synchronization algorithms and concurrent programming /
by: 203427 Taubenfeld, Gadi
Published: (2006)

Operating systems : concurrent and distributed software design /
by: Bacon, Jean, 1942-, et al.
Published: (2003)

Modelling process scheduling and system software in multiprocessors [mikrofilem] /
by: 239217 Vijay Deebad
Published: (1990)

Concurrency control in collaborative 3D protein structure visualization environment /
by: Azmee Awang, et al.
Published: (2004)

Introduction to parallel computing /
by: Petersen, W. P. (Wesley P.), et al.
Published: (2004)

Parallel scientific computation : a structured approach using BSP and MPI /
by: 337460 Bisseling, Rob H.
Published: (2004)

Transactions on petri nets and other models of concurrency I /
by: 437192 Jensen, Kurt, et al.
Published: (2009)

Concurrent programming /
by: 361244 Burns, Alan, et al.
Published: (1993)

Concurrent programming /
by: Norain Gehani, et al.
Published: (1988)

Hybrid parallel execution model for logic-based specification languages /
by: Tsai, Jeffrey J. P., et al.
Published: (2000)

Actors : a model of concurrent computation in distributed systems
Published: (2002)

Parallel systems and computation /
by: IBM Europe Institute Seminar on Parallel computing (1986 : Oberlech, Austria), et al.
Published: (1988)

Concurrent programming on windows /
by: Duffy, Joe, 1980-
Published: (2009)

Concurrent program structures /
by: Bustard, David, 1949-, et al.
Published: (1988)

Dynamic forecasting model for short series age-specific mortality / Wan Zakiyatussariroh Wan Husin
by: Wan Husin, Wan Zakiyatussariroh
Published: (2017)

The massively parallel processing system JUMP-1 /
by: Hidehiko Tanaka

Perbandingan prestasi antara Message Passing Interface Java (MPIJAVA) dan Java Object-Passing Interface (JOPI) /
by: 351954 Zafril Rizal M.Azmi
Published: (2006)

Perbandingan prestasi antara Message Passing Interface Java (MPIJAVA) dan Java Object-Passing Interface (JOPI) [compact disc] /
by: 351954 Zafril Rizal M.Azmi
Published: (2006)

Lectures on parallel computation /
by: Spirakis, Paul, et al.
Published: (1993)

Open multithreaded transactions : a transaction model for concurrent object-oriented programming /
by: 180519 Kienzle, Jorg
Published: (2003)

Low cost loosely coupled parallel processing system using standard processor /
by: Zahari Awang Ahmad, 1971-, et al.
Published: (2009)

The visualization of three dimensional brain tumors growth on distributed parallel computer systems /
by: 238288 Mohd. Ikhwan Safa Masseri
Published: (2008)