DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Process calculus
Process calculus
Concepts of Concurrent Programming Summary of the Course in Spring 2011 by Bertrand Meyer and Sebastian Nanz
Implementing a Transformation from BPMN to CSP+T with ATL: Lessons Learnt
Bisimulations in the Join-Calculus
Deadlock Analysis of Wait-Notify Coordination Laneve Cosimo, Luca Padovani
The Beacon Calculus: a Formal Method for the flexible and Concise Modelling of Biological Systems
Proof-Relevant Π-Calculus
A Time Constrained Real-Time Process Calculus
Evaluation of Parallel System Using Process Algebra
Πdist: Towards a Typed Π-Calculus for Distributed Programming Languages
FAQ on Pi-Calculus
Review of the Π-Calculus: a Theory of Mobile Processes∗
Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols
Concurrency Theory: a Historical Perspective on Coinduction and Process Calculi
Arxiv:Math/0703713V3 [Math.CT] 14 Nov 2007 6
Ownership Types for the Join Calculus
Communication Lecture 24 Thursday, April 25, 2013 1 Communication
The University of Chicago Abstract Trace Analysis
The Λ-Calculus in the Π-Calculus
Top View
Copyright by David Wilson Kitchin 2013
An Algebraic Process Calculus
A General Overview of Formal Languages for Individual-Based
A Formal Approach to the Engineering of Domain-Specific Distributed
Metric Denotational Semantics for PEPA1
A Concurrent Pattern Calculus∗ 1
Separation Logic Semantics for Communicating Processes
Comparing Process Calculi Using Encodings
A Process-Algebraic Approach to Modelling Multiagent Interaction Dynamics in Biological Systems
A Process Calculus for Molecular Interaction Maps
Formal Methods in Software Development
A Virtual Machine for a Process Calculus
Jerlang: Erlang with Joins Final Report
Processj: a Process-Oriented Programming Language
An Intelligence-Aware Process Calculus for Multi-Agent System Modeling
A Theory of Parallel Computation the Π-Calculus
The Re Exive CHAM and the Join-Calculus 1 Introduction
API-S CALCULUS: FORMAL MODELING for SECURE MOBILE INTELLIGENT AGENT SYSTEMS Jean Francois Gourd University of Southern Mississippi
Process Algebras Process Algebras and Petri Nets a Comparative Example a Comment on Bisimilarity Concluding Remarks
Facilitating Concurrency in Hybrid Programs
Communicating Sequential Processes in High Performance Computing
Algebraic Pattern Matching in Join Calculus∗ 1
A Behavioral Type System and Its Application in Ptolemy II
A Calculus of Kells
Topological Self-Stabilization with Name-Passing Process Calculi
Knots As Processes: a New Kind of Invariant
Towards a Process Calculus for Rest: Current State of the Art
Continuous and Spatial Extension of Stochastic Π-Calculus Final Year Project
Validating Process Refinement with Ontologies
RESOURCE USAGE ANALYSIS for the Π-CALCULUS 1. Introduction Computer Programs Access Many External Resources, Such As Files
Algebraic Process Calculi: the First Twenty Five Years and Beyond PA ’05
Revisiting Sequential Composition in Process Calculi Hubert Garavel
When to Move to Transfer Nets on the Limits of Petri Nets As Models for Process Calculi Gianluigi Zavattaro