Communicating and Mobile Systems

The Pi Calculus

Author: Robin Milner

Publisher: Cambridge University Press

ISBN: 9780521658690

Category: Computers

Page: 161

View: 7817

First account of new theory of communication in computing which describes networks, as well as parts of computer systems.

The Pi-Calculus

A Theory of Mobile Processes

Author: Davide Sangiorgi,David Walker

Publisher: Cambridge University Press

ISBN: 9780521543279

Category: Computers

Page: 596

View: 5944

Graduate text on the p-calculus, a mathematical model of mobile computing systems.

Specification of Software Systems

Author: V.S. Alagar,K. Periyasamy

Publisher: Springer Science & Business Media

ISBN: 9780857292773

Category: Computers

Page: 646

View: 3769

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading; presents a logical structure, with sections devoted to specification fundamentals, basics of formalism, logic, set theory and relations, property-oriented specification methods, and model-based specification techniques; contains end-of-chapter exercises and numerous case studies, with potential course outlines suggested in the Preface; covers Object-Z, B-Method, and Calculus of Communicating Systems; offers material that can be taught with tool-supported laboratory projects.

Communicating Process Architectures 2007

WoTUG-30 : Proceedings of the 30th WoTUG Technical Meeting, 8-11 July 2007, University of Surrey, Guildford, United Kingdom

Author: Alistair A. McEwan

Publisher: IOS Press

ISBN: 1586037676

Category: Computers

Page: 513

View: 4685

"This publication deals with Computer Science and models of Concurrency. It particularly emphasises on hardware/software co-design, and the understanding of concurrency that results from these systems. A range of papers on this topic have been included, from the formal modeling of buses in co-design systems through to software simulation and development environments. The book includes a contribution by Professor Sir Tony Hoare (FRS), the founding father of the theoretical basis upon which much of the work in this series is based. He shares new thoughts on fine-grained concurrency. Another important contribution is by Professor David May (FRS) on his new architecture for massively multicore processors, its underlying programming model and applications. The editors trust you will find this publication informative and inspirational."

A Distributed Pi-Calculus

Author: Matthew Hennessy

Publisher: Cambridge University Press

ISBN: 1139464841

Category: Computers

Page: N.A

View: 6065

Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and a primitive migration construct. A mathematical theory of the behaviour of these distributed systems is developed, in which the presence of types plays a major role. It is also shown how in principle this theory can be used to develop verification techniques for guaranteeing the behavior of distributed agents. The text is accessible to computer scientists with a minimal background in discrete mathematics. It contains an elementary account of the pi-calculus, and the associated theory of bisimulations. It also develops the type theory required by Dpi from first principles.

Formal Methods for Computational Systems Biology

8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008

Author: Marco Bernardo,Pierpaolo Degano,Gianluigi Zavattaro

Publisher: Springer Science & Business Media

ISBN: 3540688927

Category: Computers

Page: 527

View: 4557

This book presents a set of 14 papers accompanying the lectures of leading researchers given at the 8th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2008, held in Bertinoro, Italy in June 2008. SFM 2008 was devoted to formal techniques for computational systems biology and covered several aspects of the field, including computational models, calculi and logics for biological systems, and verification and simulation methods. The first part of this volume comprises nine papers based on regular lectures, the second part of this volume comprises five papers based on talks given by people involved in the Italian BISCA research project on Bio-Inspired Systems and Calculi with Applications.

Communicating Process Architectures ...

WoTUG-... : Proceedings of the ... WoTUG Technical Meeting

Author: Jan F. Broenink

Publisher: N.A

ISBN: 9781586035617

Category: Parallel processing (Electronic computers)

Page: N.A

View: 1818

ACM SIGPLAN Notices

A Monthly Publication of the Special Interest Group on Programming Languages

Author: N.A

Publisher: N.A

ISBN: N.A

Category: Programming languages (Electronic computers)

Page: N.A

View: 7981

Communicating Process Architectures 2004

Author: Ian East,J. Martin,P.H. Welch

Publisher: IOS Press

ISBN: 9781586034580

Category: Computers

Page: 417

View: 7326

Communicating Process Architecture (CPA) describes an approach to system development that is process-oriented. It makes no great distinction between hardware and software. It has a major root in the theory of Communicating Sequential Processes (CSP). However, the underlying theory is not limited to CSP. The importance of mobility of both channel and process within a network sees integration with ideas from the o-calculus. Other formalisms are also exploited, such as BSP and MPI. The focus is on sound methods for the engineering of significant concurrent systems, including those that are distributed (across the Internet or within a single chip) and/or software-scheduled on a single execution unit. Traditionally, at CPA, the emphasis has been on theory and practice - developing and applying tools based upon CSP and related theories to build high-integrity systems of significant size. In particular, interest focuses on achieving scalability and security against error. The development of Java, C, and C++, libraries to facilitate secure concurrent programming using 'mainstream' languages has allowed CPA to continue and proliferate. This work continues in support of the engineering of distributed applications. Recently, there has been greater reference to theory and its more direct application to programming systems and languages. In this volume the formal CSP is very well presented. The papers provide a healthy mixture of the academic and commercial, software and hardware, application and infrastructure, which reflects the nature of the discipline.

Mobile Agents for Telecommunication Applications

5th International Workshop, MATA 2003, Marakech, Morocco, October 8-10, 2003, Proceedings

Author: Eric Horlait,Thomas Magedanz,Roch H. Glitho

Publisher: Springer

ISBN: N.A

Category: Mobile agents (Computer software)

Page: 297

View: 3807

This book constitutes the refereed proceedings of the 5th International Workshop on Mobile Agents for Telecommunications Applications, MATA 2003, held in Marrakech, Morocco in October 2003. The 27 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on network and service management and QoS provisioning, service management and service provisioning, context-aware applications, mobile networks and applications, agent platforms, mobility, and security.

Petrinetze

Eine Einführung

Author: Wolfgang Reisig

Publisher: Springer-Verlag

ISBN: 3642967051

Category: Computers

Page: N.A

View: 5057

Embedded Software

... International Workshop, EMSOFT ... : Proceedings

Author: Association for Computing Machinery. Special Interest Group on Embedded Systems

Publisher: N.A

ISBN: 9781595935427

Category: Computer software

Page: 331

View: 2815

2000 International Conference on Communication Technology

WCC2000 - ICCT 2000 : Proceedings, August 21-25, 2000, Beijing, China

Author: Zhongguo dian zi xue hui,Zhongguo tong xin xue hui,IEEE Communications Society,International Federation for Information Processing. TC6,IEE Electronic Division,Guo jia zi ran ke xue ji jin wei yuan hui

Publisher: N.A

ISBN: 9787505361089

Category: Telecommunication

Page: N.A

View: 343

Communicating Process Architectures 2005

WoTUG-28 : Proceedings of the 28th WoTUG Technical Meeting, 18-21 September 2005, Technische Universiteit Eindhoven, The Netherlands

Author: Jan F. Broenink

Publisher: IOS Press

ISBN: 1586035614

Category: Computers

Page: 405

View: 3053

Modern computing systems work when all components are correct by design and can be combined to achieve scalability. This publication offers refereed papers covering various aspects such as: system design and implementation; tools (concurrent programming languages, libraries, and run-time kernels); and, formal methods and applications.

Foundations of Security Analysis and Design

Tutorial Lectures

Author: INTERNATIONAL SCHOOL ON FOUNDATIONS OF SECURITY AN,Riccardo Focardi,International School on Foundations of Security Analysis and Design

Publisher: Springer Science & Business Media

ISBN: 3540428968

Category: Computers

Page: 396

View: 6971

Security is a rapidly growing area of computer science, with direct and increasing relevance to real life applications such as Internet transactions, electronic commerce, information protection, network and systems integrity, etc. This volume presents thoroughly revised versions of lectures given by leading security researchers during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, held in Bertinoro, Italy in September. Mathematical Models of Computer Security (Peter Y.A. Ryan); The Logic of Authentication Protocols (Paul Syversen and Iliano Cervesato); Access Control: Policies, Models, and Mechanisms (Pierangela Samarati and Sabrina de Capitani di Vimercati); Security Goals: Packet Trajectories and Strand Spaces (Joshua D. Guttman); Notes on Nominal Calculi for Security and Mobility (Andrew D. Gordon); Classification of Security Properties (Riccardo Focardi and Roberto Gorrieri).

Software Engineering

Evolution and Emerging Technologies

Author: Krzysztof Zieliński,Tomasz Szmuc

Publisher: IOS Press

ISBN: 1586035592

Category: Computers

Page: 431

View: 9510

The capability to design quality software and implement modern information systems is at the core of economic growth in the 21st century. This book aims to review and analyze software engineering technologies, focusing on the evolution of design and implementation platforms as well as on novel computer systems.