Presheaf Models For Ccs Like Languages
Download Presheaf Models For Ccs Like Languages full books in PDF, epub, and Kindle. Read online free Presheaf Models For Ccs Like Languages ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads.
Author |
: Gian Luca Cattani |
Publisher |
: |
Total Pages |
: 56 |
Release |
: 1999 |
ISBN-10 |
: UCSC:32106012263775 |
ISBN-13 |
: |
Rating |
: 4/5 (75 Downloads) |
Synopsis Presheaf Models for CCS-like Languages by : Gian Luca Cattani
Abstract: "The aim of this paper is to harness the mathematical machinery around presheaves for the purposes of process calculi. Joyal, Nielsen and Winskel proposed a general definition of bisimulation from open maps. Here we show that open-map bisimulations within a range of presheaf models are congruences for a general process language, in which CCS and related languages are easily encoded. The results are then transferred to traditional models for processes. By first establishing the congruence results for presheaf models, abstract, general proofs of congruence properties can be provided and the awkwardness caused through traditional models not always possessing the cartesian liftings, used in the break-down of process operations, are side-stepped. The abstract results are applied to show that hereditary history-preserving bisimulation is a congruence for CCS-like languages to which is added a refinement operator on event structures as proposed by van Glabbeek and Goltz."
Author |
: Bernd Fischer |
Publisher |
: Springer |
Total Pages |
: 546 |
Release |
: 2018-10-13 |
ISBN-10 |
: 9783030025083 |
ISBN-13 |
: 303002508X |
Rating |
: 4/5 (83 Downloads) |
Synopsis Theoretical Aspects of Computing – ICTAC 2018 by : Bernd Fischer
This book constitutes the refereed proceedings of the 15th International Colloquium on Theoretical Aspects of Computing, ICTAC 2018, held in Stellenbosch, South Africa, in October 2018. The 25 revised full papers presented together with two short and two long invited talks were carefully reviewed and selected from 59 submissions. The ICTAC conference aims at bringing together researchers and practitioners from academia, industry and government to present research and exchange ideas and experience addressing challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. ICTAC also specifically aims to promote research cooperation between developing and industrial countries.
Author |
: Martin Leucker |
Publisher |
: Springer |
Total Pages |
: 628 |
Release |
: 2015-10-08 |
ISBN-10 |
: 9783319251509 |
ISBN-13 |
: 3319251503 |
Rating |
: 4/5 (09 Downloads) |
Synopsis Theoretical Aspects of Computing - ICTAC 2015 by : Martin Leucker
This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category theory; automata and formal languages; concurrency; constraints, logic and semantic; software architecture and component-based design; and verification.
Author |
: Davide Sangiorgi |
Publisher |
: Cambridge University Press |
Total Pages |
: 600 |
Release |
: 2003-10-16 |
ISBN-10 |
: 0521543274 |
ISBN-13 |
: 9780521543279 |
Rating |
: 4/5 (74 Downloads) |
Synopsis The Pi-Calculus by : Davide Sangiorgi
Graduate text on the p-calculus, a mathematical model of mobile computing systems.
Author |
: Lubos Brim |
Publisher |
: Springer |
Total Pages |
: 628 |
Release |
: 2003-08-02 |
ISBN-10 |
: 9783540456940 |
ISBN-13 |
: 3540456945 |
Rating |
: 4/5 (40 Downloads) |
Synopsis CONCUR 2002 - Concurrency Theory by : Lubos Brim
This book constitutes the refereed proceedings of the 13th International Conference on Concurrency Theory, CONCUR 2002, held in Brno, Czech Republic in August 2002.The 32 revised full papers presented together with abstracts of seven invited contributions were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections on verification and model checking, logic, mobility, probabilistic systems, models of computation and process algebra, security, Petri nets, and bisimulation.
Author |
: P.S. Thiagarajan |
Publisher |
: Springer Science & Business Media |
Total Pages |
: 952 |
Release |
: 1995-12-04 |
ISBN-10 |
: 3540606920 |
ISBN-13 |
: 9783540606925 |
Rating |
: 4/5 (20 Downloads) |
Synopsis Foundations of Software Technology and Theoretical Computer Science by : P.S. Thiagarajan
This book constitutes the refereed proceedings of the 15th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS '95, held in Bangalore, India in December 1995. The volume presents 31 full revised research papers selected from a total of 106 submissions together with full papers of four invited talks. Among the topics covered are algorithms, software technology, functional programming theory, distributed algorithms, term rewriting and constraint logic programming, complexity theory, process algebras, computational geometry, and temporal logics and verification theory.
Author |
: |
Publisher |
: |
Total Pages |
: 836 |
Release |
: 2005 |
ISBN-10 |
: UOM:39015062317204 |
ISBN-13 |
: |
Rating |
: 4/5 (04 Downloads) |
Synopsis Mathematical Reviews by :
Author |
: |
Publisher |
: |
Total Pages |
: 784 |
Release |
: 2000 |
ISBN-10 |
: NYPL:33433065635512 |
ISBN-13 |
: |
Rating |
: 4/5 (12 Downloads) |
Synopsis British National Bibliography for Report Literature by :
Author |
: |
Publisher |
: |
Total Pages |
: 544 |
Release |
: 1995 |
ISBN-10 |
: UOM:39015035262479 |
ISBN-13 |
: |
Rating |
: 4/5 (79 Downloads) |
Synopsis Foundations of Software Technology and Theoretical Computer Science by :
Author |
: Ugo Montanari |
Publisher |
: Springer Science & Business Media |
Total Pages |
: 772 |
Release |
: 1996-08-07 |
ISBN-10 |
: 3540616047 |
ISBN-13 |
: 9783540616047 |
Rating |
: 4/5 (47 Downloads) |
Synopsis CONCUR '96: Concurrency Theory by : Ugo Montanari
This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR'97. held in Warsaw, Poland, in July 1997. The 24 revised full papers presented were selected by the program committee for inclusion in the volume from a total of 41 high-quality submissions. The volume covers all current topics in the science of concurrency theory and its applications, such as reactive systems, hybrid systems, model checking, partial orders, state charts, program logic calculi, infinite state systems, verification, and others.