Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Concurrent systems"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
product_txtF_mv:"Springer Book Archives -2004"
Showing
1
-
20
of
166
Search:
'"Concurrent systems"'
,
query time: 0.41s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
The Analysis of
Concurrent
Systems
: Cambridge, September 12-16, 1983. Proceedings
Published 1985
Springer Berlin Heidelberg
Table of Contents:
“
... of
concurrent
systems
-- The problem set -- Specifying problem one using the ‘failure’ sets model for CSP...
”
Read Now
2
Specification and Verification of
Concurrent
Systems
Published 1990
Springer London
Table of Contents:
“
... and Implementation of
Concurrent
Systems
using PARLOG -- 24. Specification and Verification in Communications...
”
Read Now
3
Logics and Models of
Concurrent
Systems
Published 1985
Springer Berlin Heidelberg
Read Now
4
Specification and Analysis of
Concurrent
Systems
: The COSY Approach
by
Janicki, Ryszard
,
Lauer, Peter E.
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
... Systems into
Concurrent
Systems
-- 4.6 Modelling N-Modular Redundancy -- 5 Comparison of COSY with Other...
”
Read Now
5
The Temporal Logic of Reactive and
Concurrent
Systems
: Specification
by
Manna, Zohar
,
Pnueli, Amir
Published 1992
Springer New York
“
... systems,
concurrent
systems
, control systems, etc. They are among the most difficult computing systems...
”
Read Now
6
Object-Based Models and Languages for
Concurrent
Systems
...
Published 1995
Springer Berlin Heidelberg
Read Now
7
Partial-Order Methods for the Verification of
Concurrent
Systems
: An Approach to the State-Explosion Problem
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
...
Concurrent
systems
and semantics -- Using partial orders to tackle state explosion -- Persistent...
”
Read Now
8
Logics for Concurrency : Structure versus Automata
Published 1996
Springer Berlin Heidelberg
“
... these lecture notes are ideally suited for advanced courses on logics for
concurrent
systems
. Equally...
”
Read Now
9
Distributed Operating Systems : Theory and Practice
Published 1987
Springer Berlin Heidelberg
Table of Contents:
“
...1 Formal Aspects of
Concurrent
Systems
-- A Formal Basis for the Specification of
Concurrent
...
”
Read Now
10
Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings
Published 1989
Springer Berlin Heidelberg
Table of Contents:
“
...
systems
-- The model checking problem for
concurrent
systems
with many similar processes -- Unified...
”
Read Now
11
Concurrency 88 : International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings
Published 1988
Springer Berlin Heidelberg
Table of Contents:
“
...While waiting for the millennium: Formal specification and verification of
concurrent
systems
now...
”
Read Now
12
CONCUR '92 : Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992. Proceedings
Published 1992
Springer Berlin Heidelberg
“
... of
concurrent
systems
and their applications. The papers were all presented at the CONCUR '92 conference, which...
”
Read Now
13
A Decade of Concurrency: Reflections and Perspectives : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... Machines -- Verification tools for finite-state
concurrent
systems
-- Linear logic on Petri nets...
”
Read Now
14
Formalization of Programming Concepts : International Colloquium, Peniscola, Spain, April 19-25, 1981. Proceedings
Published 1981
Springer Berlin Heidelberg
Table of Contents:
“
... behavioural specification of
concurrent
systems
without globality assumptions -- A birkhoff-like theorem...
”
Read Now
15
Petri Nets: Central Models and Their Properties : Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986
Published 1987
Springer Berlin Heidelberg
“
... in design and analysis of
concurrent
systems
. They are used in many areas of computer science including...
”
Read Now
16
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988
Published 1989
Springer Berlin Heidelberg
Table of Contents:
“
... and properties of
concurrent
systems
-- Permutation of transitions: An event structure semantics for CCS and SCCS...
”
Read Now
17
Safety-Critical Real-Time Systems
Published 1997
Springer US
Table of Contents:
“
...A Systematic Approach to the Petri Net Based Specification of
Concurrent
Systems
-- A Highly...
”
Read Now
18
CONCUR '90: Theories of Concurrency: Unification and Extension : Theories of Concurrency: Unification and Extension
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
...
concurrent
systems
-- Synthesis rules for Petri nets, and how they lead to new results -- The need...
”
Read Now
19
Applications and Theory of Petri Nets : Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, September 27–30, 1982 (under auspice...
Published 1983
Springer Berlin Heidelberg
Table of Contents:
“
... transformations giving B-equivalent PT-nets -- Equivalence notions for
concurrent
systems
-- Milner’s...
”
Read Now
20
First International Workshop on Larch : Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992
Published 1993
Springer London
Table of Contents:
“
... Verification of
Concurrent
Systems
with TLA -- The DECspec Project: Tools for Larch/C -- Formal Verification...
”
1
2
3
4
5
6
7
8
9
Back
Narrow Search
Remove Filters
Clear Filter
Collection: Springer Book Archives -2004
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
88
005 - Computer programming, programs & data
55
621 - Applied physics
5
006 - Special computer methods
4
510 - Mathematics
2
512 - Algebra
2
more ...
519 - Probabilities & applied mathematics
2
670 - Manufacturing
2
003 - Systems
1
370 - Education
1
511 - General principles of mathematics
1
518 - Numerical analysis
1
551 - Geology, hydrology & meteorology
1
620 - Engineering & allied operations
1
629 - Other branches of engineering
1
658 - General management
1
see all ...
less ...
Language
English
165
German
1
Collection
Springer Book Archives -2004
Author
Rozenberg, Grzegorz
14
Reisig, Wolfgang
5
Rozenberg, G.
5
Broy, Manfred
4
Ehrig, Hartmut
3
Astesiano, Egidio
2
more ...
Baeten, Jos C.M.
2
Bakker, J.W.de
2
Bertran, Miquel
2
Bjørner, Dines
2
Brauer, Wilfried
2
Budach, Lothar
2
Börger, Egon
2
Gaudel, Marie-Claude
2
Koutny, Maciej
2
Kreowski, Hans-Jörg
2
Lauer, Peter E.
2
Lavagno, Luciano
2
Nierstrasz, Oscar
2
Paul, M.
2
Pnueli, Amir
2
Rem, Martin
2
Roever, W.-P.de
2
Roever, Willem-Paul de
2
Steffen, Bernhard
2
Aagaard, Mark D.
1
Aarts, Emile H.L.
1
Abiteboul, Serge
1
Adian, Sergei
1
Ajmone Marsan, Marco
1
Alur, Rajeev
1
Amadio, Roberto
1
Anderson, Thomas
1
Apt, Krzysztof R.
1
Baeten, Joseph C.M.
1
Bakker, J.W. de
1
Bakker, Jaco W. de
1
Bakker, Jacobus W. De
1
Bakker, Jacobus W. de
1
Banatre, Jean-Pierre
1
Banieqbal, Behnam
1
Barnett, Mike
1
Barringer, Howard
1
Bartosek, Miroslav
1
Berghammer, Rudolf
1
Berry, Gerard
1
Best, Eike
1
Billington, Jonathan
1
Birtwistle, Graham
1
Blum, E.K.
1
Bochmann, Gregor von
1
Bolognesi, Tommaso
1
Bouge, Luc
1
Bowen, Jonathan P.
1
Bozyigit, Muslim
1
Brookes, Stephen D.
1
Brown, Geoffrey
1
Bruynooghe, Maurice
1
Budde, R.
1
Budkowski, Stan
1
Bukharajev, Rais G.
1
Byoungmoon Chin
1
CEC, DG for Telecommunications
1
Caillaud, Benoît
1
Camurati, Paolo Enrico
1
Carlsson, Svante
1
Cavalli, Ana
1
Cerny, Eduard
1
Chang, Shi-Kuo
1
Chen, Jing
1
Chin, Wei-Ngan
1
Chytil, M.P.
1
Ciancarini, Paolo
1
Cleaveland, Walter R.
1
Cohen, Guy
1
Colom, Jose-Manuel
1
Comon, Hubert
1
Cortesi, Agostino
1
Courcoubetis, Costas
1
Dal Cin, M.
1
Danhyung Lee
1
Darondeau, Philippe
1
Davies, Jim
1
Declercq, Michel
1
Delgado Kloos, Carlos
1
Dembinski, P.
1
Denvir, B.T.
1
Denvir, Tim
1
Dershowitz, Nachum
1
Desel, Jörg
1
Devillers, Raymond
1
Dezani-Ciancaglini, M.
1
Diaz, J.
1
Diekert, Volker
1
Dwyer, Matthew
1
Engels, Gregor
1
Esik, Zoltan
1
Esparza, Javier
1
Eveking, Hans
1
Fiadeiro, Jose L.
1
see all ...
less ...
Recently Uploaded
Last Month
2
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=product_txtF_mv%3A%22Springer+Book+Archives+-2004%22&lookfor=%22Concurrent+systems%22&type=AllFields
Send by Email
×
Loading...