Institutional Login
Welcome!
To use the personalized features of this site, please
log in
or
register
.
If you have forgotten your username or password, we can
help
.
My Menu
Marked Items
Alerts
Order History
Saved Items
All
Favorites
Content Types
All
Publications
Journals
Book Series
Books
Reference Works
Protocols
Subject Collections
Architecture and Design
Behavioral Science
Biomedical and Life Sciences
Business and Economics
Chemistry and Materials Science
Computer Science
Earth and Environmental Science
Engineering
Humanities, Social Sciences and Law
Mathematics and Statistics
Medicine
Physics and Astronomy
Professional and Applied Computing
中文(简体)
中文(繁體)
English
Deutsch
한국어
日本語
Français
Español
العربية
Русский
Book
CONCUR 2002 — Concurrency Theory
13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings
Book Series
Lecture Notes in Computer Science
Publisher
Springer Berlin / Heidelberg
ISSN
0302-9743 (Print) 1611-3349 (Online)
Volume
Volume 2421/2002
DOI
10.1007/3-540-45694-5
Copyright
2002
ISBN
978-3-540-44043-7
Subject Collection
Computer Science
SpringerLink Date
Saturday, August 02, 2003
Add to marked items
Add to saved items
Recommend this book
About This Volume
Editorial View
Condensed List View
Expanded List View
39 Chapters
First
|
1-10
|
11-20
|
21-30
|
31-39
|
Next
Front Matter
PDF (114.4 KB)
Chapter
Refinement and Verification Applied to an In-Flight Data Acquisition Unit
*
Wan Fokkink
,
Natalia Ioustinova
,
Ernst Kesseler
,
Jaco van de Pol
,
Yaroslav S. Usenko
and
Yuri A. Yushtein
DOI: 10.1007/3-540-45694-5_1
PDF (259.0 KB)
491-518
Chapter
A Deductive Proof System for CTL
*
Amir Pnueli
and
Yonit Kesten
DOI: 10.1007/3-540-45694-5_2
PDF (254.3 KB)
171-216
Chapter
Event-State Duality: The Enriched Case
Vaughan R. Pratt
DOI: 10.1007/3-540-45694-5_3
PDF (216.4 KB)
41-56
Chapter
Expressive Power of Temporal Logics
Alexander Rabinovich
DOI: 10.1007/3-540-45694-5_4
PDF (296.1 KB)
57-76
Chapter
Types, or: Where’s the Difference Between CCS and π?
Davide Sangiorgi
DOI: 10.1007/3-540-45694-5_5
PDF (295.3 KB)
347-370
Chapter
Introduction to Modal and Temporal Mu-Calculi
Abstract
Julian C. Bradfield
DOI: 10.1007/3-540-45694-5_6
PDF (41.9 KB)
221-231
Chapter
Types for Cryptographic Protocols
Andrew D. Gordon
DOI: 10.1007/3-540-45694-5_7
PDF (59.5 KB)
1-6
Chapter
Network Invariants in Action
*
Yonit Kesten
,
Amir Pnueli
,
Elad Shahar
and
Lenore Zuck
DOI: 10.1007/3-540-45694-5_8
PDF (247.2 KB)
217-264
Chapter
Regular Model Checking Made Simple and Effcient
*
Parosh Aziz Abdulla
,
Bengt Jonsson
,
Marcus Nilsson
and
Julien d'Orso
DOI: 10.1007/3-540-45694-5_9
PDF (227.0 KB)
116-131
Chapter
A Hierarchy of Polynomial-Time Computable Simulations for Automata
Kousha Etessami
DOI: 10.1007/3-540-45694-5_10
PDF (256.9 KB)
519-530
Back Matter
PDF (32.4 KB)
39 Chapters
First
|
1-10
|
11-20
|
21-30
|
31-39
|
Next
more options
Find
Query Builder
Close
|
Clear
Title (ti)
Summary (su)
Author (au)
ISSN (issn)
ISBN (isbn)
DOI (doi)
And
Or
Not
(
)
* (wildcard)
"" (exact)
Within all content
Within this book series
Within this book
Starts With
39 Results
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
space
0
1
2
3
4
5
6
7
8
9
Ü
Ö
Ë
Ä
ß
À
Á
Â
Ã
Ç
È
É
Ê
Ì
Í
Î
Ñ
Ò
Ó
Ô
Õ
Ù
Ú
Û
more
Author
Amir Pnueli
Ugo Montanari
Vladimiro Sassone
Yonit Kesten
Cosimo Laneve
Maria Grazia Buscemi
Frequently asked questions
|
General information on journals and books
|
Send us your feedback
|
Impressum
|
Contact
© Springer.
Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
MetaPress Privacy Policy
Remote Address: 38.107.191.106 • Server: mpweb07
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)