Semantics of Systems of Concurrent Processes

This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency.

Author: Spring School on theoretical computer science

Publisher: Springer Science & Business Media

ISBN: 3540534792

Category: Computers

Page: 456

View: 581

DOWNLOAD →

This volume contains the proceedings of the 1990 Spring School of Theoretical Computer Science, devoted to the semantics of concurrency. The papers are of two kinds: - surveys and tutorials introducing the subject to novices and students and giving updates of the state of the art, - research papers presenting recent achievements in the semantics of concurrency. The contributions explicate the connections, similarities and differences between various approaches to the semantics of concurrency, such as pomsets and metric semantics, event structures, synchronization trees, fixpoints and languages, traces, CCS and Petri nets, and categorical models. They also cover and compare the various notions of observation and bisimulation equivalences, logics for concurrency, and applications to dis- tributed systems.

Handbook of Process Algebra

J.F. Groote and F.W. Vaandrager, Structured operational semantics and bisimulation as a congruence, Inform, and Comput 100 (1992), 202-260. I. Guessarian, ed., Semantics of Systems of Concurrent Processes, Lecture Notes ...

Author: J.A. Bergstra

Publisher: Elsevier

ISBN: 9780080533674

Category: Mathematics

Page: 1356

View: 851

DOWNLOAD →

Process Algebra is a formal description technique for complex computer systems, especially those involving communicating, concurrently executing components. It is a subject that concurrently touches many topic areas of computer science and discrete math, including system design notations, logic, concurrency theory, specification and verification, operational semantics, algorithms, complexity theory, and, of course, algebra. This Handbook documents the fate of process algebra since its inception in the late 1970's to the present. It is intended to serve as a reference source for researchers, students, and system designers and engineers interested in either the theory of process algebra or in learning what process algebra brings to the table as a formal system description and verification technique. The Handbook is divided into six parts spanning a total of 19 self-contained Chapters. The organization is as follows. Part 1, consisting of four chapters, covers a broad swath of the basic theory of process algebra. Part 2 contains two chapters devoted to the sub-specialization of process algebra known as finite-state processes, while the three chapters of Part 3 look at infinite-state processes, value-passing processes and mobile processes in particular. Part 4, also three chapters in length, explores several extensions to process algebra including real-time, probability and priority. The four chapters of Part 5 examine non-interleaving process algebras, while Part 6's three chapters address process-algebra tools and applications.

A Calculus of Distributed and Parallel Processes

This book introduces a process calculus for parallel, distributed and reactive systems.

Author: Clemens H. Cap

Publisher: Springer Science & Business Media

ISBN: 9783322867636

Category: Technology & Engineering

Page: 320

View: 172

DOWNLOAD →

This book introduces a process calculus for parallel, distributed and reactive systems. It describes the conceptual foundations as well as the mathematical theory behind a programming language, and a number of application examples. The chosen approach provides a framework for understanding the semantics of parallel and distributed systems. Moreover, it can be directly applied to practical problems.

Theory and Formal Methods 1993

Three equivalent semantics for CCS. In Semantics of Systems for Concurrent Processes, volume 469 of Lecture Notes in Computer Science. Springer-Verlag, 1990. [6] S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe.

Author: Geoffrey Burn

Publisher: Springer Science & Business Media

ISBN: 9781447135036

Category: Mathematics

Page: 329

View: 546

DOWNLOAD →

This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. It contains papers from almost every member of the Section, from our long-term academic visitors, and from those who have recently left us. The papers fall into four broad areas: • semantics • concurrency • logic • specification with some papers spanning a number of disciplines. The subject material varies from work on mathematical foundations to practical applications of this theory, expressing the Section's commitment to both the foundations of computer science, and the application of theory to real computing problems. In preparing the workshop and these proceedings, care was taken to ensure that there were papers overviewing a field, as well as ones whose primary aim was to present new scientifIc results. This had a dual purpose: to bring our Section members up to speed in some of the areas being worked on by the Section; and to provide the reader of the proceedings not only with a good introduction to many of the specifIc areas being investigated by the Section, but also with details of some of our latest results. All the papers presented at the workshop were revised following comments made by the workshop participants, and all were subsequently reviewed by at least two people before producing the fInal versions contained in this volume.

Advances in Petri Nets 1991

469 ; Semantics of Systems of Concurrent Processes . Proceedings of the LITP Spring School on Theoretical Computer Science , 1990 , La Roche Posay , France / Guessarian , I. ( ed . ) — Berlin , Germany : Springer - Verlag , pp .

Author: Helmut Plünnecke

Publisher: Springer Science & Business Media

ISBN: 3540543988

Category: Computers

Page: 572

View: 730

DOWNLOAD →

This volume presents the proceedings of the 11th International Conference on Applications and Theory of Petri Nets held in Paris in 1991. It contains the Bibliography of Petri Nets 1990, with over 4000 entries.

Process Algebras for Petri Nets

Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, LNCS 469, Springer-Verlag, 1990. [GV87] R.J. van Glabbeek, F. Vaandrager, “PetriNet Models for Algebraic Theories ...

Author: Roberto Gorrieri

Publisher: Springer

ISBN: 9783319555591

Category: Computers

Page: 302

View: 580

DOWNLOAD →

This book deals with the problem of finding suitable languages that can represent specific classes of Petri nets, the most studied and widely accepted model for distributed systems. Hence, the contribution of this book amounts to the alphabetization of some classes of distributed systems. The book also suggests the need for a generalization of Turing computability theory. It is important for graduate students and researchers engaged with the concurrent semantics of distributed communicating systems. The author assumes some prior knowledge of formal languages and theoretical computer science.

Transactions on Petri Nets and Other Models of Concurrency I

Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. ... Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. J. ACM 31(3), ... Semantics of Systems of Concurrent Processes.

Author: Wil M. P. van der Aalst

Publisher: Springer

ISBN: 9783540892878

Category: Computers

Page: 251

View: 809

DOWNLOAD →

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two stage refereeing process. ToPNoC contains: Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences; special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series); other papers invited for publication in ToPNoC; papers submitted directly to ToPNoC by their authors. This is the first volume of ToPNoC. It contains revised and extended versions of a selection of the best papers from the workshops held at the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, which took place in Siedlce, Poland, June 25-29, 2007. The material has been selected and evaluated by the two Workshop and Tutorial Chairs, Wil van der Aalst and Jonathan Billington, in close cooperation with the chairs of the individual workshops. The 13 papers in this volume cover a wide range of concurrency-related topics, including: teaching concurrency; process languages; process mining; software engineering; state space visualization techniques; timed Petri nets; unfolding techniques and hardware systems. Thus, this volume gives a good overview of the state of the art in concurrency research.

Algorithms Concurrency and Knowledge

Flow event structures and flow nets . sémantique du parallelisme , i . guessarian ( ed . ) , Incs 469 , 1990. In I. Guessarian , editor , Semantics of systems of concurrent processes , Proc . 18ème école de printemps d'informatique ...

Author: Kanchana Kanchanasut

Publisher: Springer Science & Business Media

ISBN: 3540606882

Category: Computers

Page: 410

View: 352

DOWNLOAD →

This volume constitutes the refereed proceedings of the 1995 Asian Computing Science Conference, ACSC 95, held in Pathumthani, Thailand in December 1995. The 29 fully revised papers presented were selected from a total of 102 submissions; clearly the majority of the participating researchers come from South-East Asian countries, but there is also a strong international component. The volume reflects research activities, particularly by Asian computer science researchers, in different areas. Special attention is paid to algorithms, knowledge representation, programming and specification languages, verification, concurrency, networking and distributed systems, and databases.

TAPSOFT 91 Volume 2

( BC90 ] Boudol , G. , Castellani , I. , Three Equivalent Semantics Semantics for CCS , In Semantics of Systems of Concurrent Processes , LNCS 469 , pp 96-141 , 1990 . [ dBK88 ] de Bakker , J.W. , Kok , J.N. , Uniform Abstraction ...

Author: Samson Abramsky

Publisher: Springer Science & Business Media

ISBN: 3540539816

Category: Computer software

Page: 937

View: 954

DOWNLOAD →

"TAPSOFT '91 is the Fourth International Joint Conference on Theory and Practice of Software Development. It was held in Brighton, April 8-12, 1991, and was organized by the Department of Computing, Imperial College, London. The proceedings of TAPSOFT '91 are organized into three parts: - Advances in Distributed Computing (ADC) - Colloquium on Trees in Algebra and Programming (CAAP) - Colloquium on Combining Paradigms for Software Development (CCPSD) The proceedings are published in two volumes. The first volume (LNCS, Vol. 493) contains the papers from CAAP. The second volume (LNCS, Vol. 494) contains the papers from the ADC and CCPSD. The ADC talks by distinguished invited speakers surveys current developments in distributed computing, including the integration of different paradigms for concurrency, algebraic, logical and operational foundations, and applications to software engineering and formal methods. The CCPSD papers address aspects of the trend in software enginering towards unification and synthesis combining theory and practice, and merging hitherto diverse approaches."--PUBLISHER'S WEBSITE.

Partial Order Methods in Verification

[ 5 ] J.W. de Bakker , J.H.A. Warmerdam , Metric pomset semantics for a concurrent language with recursion , In I. Guessarian , editor , Semantics of Systems of Concurrent Processes , LNCS vol . 469 , Springer - Verlag , 1990 , 21-49 .

Author: Doron Peled

Publisher: American Mathematical Soc.

ISBN: 0821870734

Category: Computers

Page: 403

View: 711

DOWNLOAD →

This book presents surveys on the theory and practice of modeling, specifying, and validating concurrent systems. It contains surveys of techniques used in tools developed for automatic validation of systems. Other papers present recent developments in concurrency theory, logics of programs, model-checking, automata, and formal languages theory. The volume contains the proceedings from the workshop, Partial Order Methods in Verification, which was held in Princeton, NJ, in July 1996. The workshop focused on both the practical and the theoretical aspects of using partial order models, including automata and formal languages, category theory, concurrency theory, logic, process algebra, program semantics, specification and verification, topology, and trace theory. The book also includes a lively e-mail debate that took place about the importance of the partial order dichotomy in modeling concurrency.

CONCUR 2000 Concurrency Theory

In Semantics of System of Concurrent Processes, LNCS 469. Springer, 1990. 445 6. N. Busi and G. M. Pinna. Process semantics for Place/Transition nets with inhibitor and read arcs. Fundamenta Informaticæ, 40(2-3):165–197, 1999. 453 7.

Author: Catuscia Palamidessi

Publisher: Springer

ISBN: 9783540446187

Category: Computers

Page: 613

View: 637

DOWNLOAD →

This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency related aspects of: models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, veri?cation techniques, re?nement te- niques, term and graph rewriting, distributed programming, logic constraint p- gramming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and veri?cation. The ?rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991. The following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL), Nice (F), and Eindhoven (NL). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, 1466, and 1664.

Introduction to Process Algebra

The Concurrency Workbench: a semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15(1):36–72, 1993. W.R. Cleaveland and S. Sims. The NCSU Concurrency Workbench.

Author: Wan Fokkink

Publisher: Springer Science & Business Media

ISBN: 9783662042939

Category: Mathematics

Page: 168

View: 867

DOWNLOAD →

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting. The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.

Automated Reasoning with Analytic Tableaux and Related Methods

Action versus State Based Logics for Transition Systems . In Semantics of Systems of Concurrent Processes , Springer LNCS 469 , pp . 407 – 419 , 1990 . [ EH83 ] E. A. Emerson and J. Y. Halpern . " Sometimes ” and “ not never ” revisited ...

Author: Didier Galmiche

Publisher: Springer Science & Business Media

ISBN: 3540629203

Category: Computers

Page: 372

View: 761

DOWNLOAD →

This book constitutes the refereed proceedings of the 1998 International Conference on Analytic Tableaux and Related Methods, TABLEAUX'98, held in Oisterwijk near Tilburg, The Netherlands, in May 1998. The volume presents 17 revised full papers and three system descriptions selected from 34 submissions; also included are several abstracts of invited lectures, tutorials, and system comparison papers. The book presents new research results for automated deduction in various non-standard logics as well as in classical logic. Areas of application include software verification, systems verification, deductive databases, knowledge representation and its required inference engines, and system diagnosis.

Modeling and Verification of Parallel Processes

2.3 Equational Theory and Properties of Processes The operational semantics of concurrent systems are commonly defined using labelled transition systems. For example, the π-calculus semantics given in [1] is based on such a presentation ...

Author: Franck Cassez

Publisher: Springer

ISBN: 9783540455103

Category: Computers

Page: 234

View: 406

DOWNLOAD →

Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems. This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes.

Property preserving Petri Net Process Algebra in Software Engineering

“Refinement in branching time semantics”. Technical Report CS-R8922, CWI, Amsterdam, 1989. [GLA (1990)] R. J. Glabbeek and U. Goltz. “Equivalences and Refinement”. Semantics of Systems of Concurrent Processes 1990, LNCS 469, ...

Author: Hejiao Huang

Publisher: World Scientific

ISBN: 9789814324281

Category: Computers

Page: 306

View: 347

DOWNLOAD →

Annotation In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. This volume presents a component-based methodology for the creation and verification of design specifications.

CONCUR 94 Concurrency Theory

In I. Guessarian, editor, Semantics of Systems of Concurrent Processes, number 469 in Lecture Notes in Computer Science, pages 239-255, 1990. P. Degano, R. De Nicola, and U. Montanari. Partial ordering descriptions and observations of ...

Author: Bengt Jonsson

Publisher: Springer

ISBN: 9783540486541

Category: Computers

Page: 534

View: 267

DOWNLOAD →

This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994. In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715.

Architectures Languages and Techniques for Concurrent Systems

The Acceptances semantics which is used to define CSPP does not require modification : it captures both soft and hard behaviours . Keywords : CSP ; CSPP ; Denotational semantics ; formal methods ; concurrency ; parallel systems ...

Author: World Occam and Transputer User Group. Technical Meeting

Publisher: IOS Press

ISBN: 905199480X

Category: Computers

Page: 279

View: 485

DOWNLOAD →

During the past fifteen years concurrency in programming languages such as Java rose and fell, and again became popular. At this moment developers advise us to avoid concurrency in programming. They are using a host of deprecated methods in the latest releases How are we to understand the love-hate relationship with what should be a widely used approach of tackling real-world problems? The aim of rchitectures, Languages and Techniques is to encourage the safe, efficient and effective use of parallel computing. It is generally agreed that concurrency is found in most real applications and that it should be natural to use concurrency in programming. However, there has grown up a myth that concurrency is "hard" and only for the hardened expert. The papers collected in this book cover the whole spectrum of concurrency, from theoretical underpinnings to applications. The message passing style of concurrency, developed in the Communicating Sequential Processes (CSP) approach, is considered, and extensions are proposed. CSP's realization in the programming language occam is used directly for applications as diverse as modeling of concurrent systems and the description of concurrent hardware. This latter application may be compared to the use of Java for the same purpose. Concurrency and the use of Java is the subject of further papers, as is the provision of CSP-like facilities in Java and C and techniques to use these languages to construct reliable concurrent systems. At a time when concurrency gives headaches, this book brings a welcome breath of fresh air. Concurrency can really be a positive way forward.

Understanding Concurrent Systems

The text is fully integrated with CSP-based tools such as FDR, and describes how to create new tools based on FDR. Most of the book relies on no theoretical background other than a basic knowledge of sets and sequences.

Author: A.W. Roscoe

Publisher: Springer Science & Business Media

ISBN: 9781848822580

Category: Computers

Page: 530

View: 180

DOWNLOAD →

CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. Hoare in 1985. Both a programming language and a specification language, the theory of CSP helps users to understand concurrent systems, and to decide whether a program meets its specification. As a member of the family of process algebras, the concepts of communication and interaction are presented in an algebraic style. An invaluable reference on the state of the art in CSP, Understanding Concurrent Systems also serves as a comprehensive introduction to the field, in addition to providing material for a number of more advanced courses. A first point of reference for anyone wanting to use CSP or learn about its theory, the book also introduces other views of concurrency, using CSP to model and explain these. The text is fully integrated with CSP-based tools such as FDR, and describes how to create new tools based on FDR. Most of the book relies on no theoretical background other than a basic knowledge of sets and sequences. Sophisticated mathematical arguments are avoided whenever possible. Topics and features: presents a comprehensive introduction to CSP; discusses the latest advances in CSP, covering topics of operational semantics, denotational models, finite observation models and infinite-behaviour models, and algebraic semantics; explores the practical application of CSP, including timed modelling, discrete modelling, parameterised verifications and the state explosion problem, and advanced topics in the use of FDR; examines the ability of CSP to describe and enable reasoning about parallel systems modelled in other paradigms; covers a broad variety of concurrent systems, including combinatorial, timed, priority-based, mobile, shared variable, statecharts, buffered and asynchronous systems; contains exercises and case studies to support the text; supplies further tools and information at the associated website: http://www.comlab.ox.ac.uk/ucs/. From undergraduate students of computer science in need of an introduction to the area, to researchers and practitioners desiring a more in-depth understanding of theory and practice of concurrent systems, this broad-ranging text/reference is essential reading for anyone interested in Hoare’s CSP.