Process Algebra
156 Followers
Recent papers in Process Algebra
For systems of sequential agents the fundamental relations between events — causality and conflict — are naturally connected to a global dependency relation on the system's alphabet. Action refinement as a strictly hierarchical approach... more
This paper introduces a graphical notation called algebraic state transition diagrams (ASTD), which allows for the combination of state transition diagrams using classical process algebra operators like sequence, iteration, parallel... more
We propose a process algebra, the Algebra of Behavioural Types, as a language for typing concurrent objects in process calculi. A type is a higher-order labelled transition system that characterises all possible life cycles of a... more
A fundamental problem in the design and development of embedded control systems is the verification of safety requirements. Formal methods, offering a mathematical way to specify and analyze the behavior of a system, together with the... more
Most recently, the concept of business documents has started to play double role. On one side, a business document (word processing text or calculation sheet) can be used as specification tool, on the other side the business document is... more
I respond to the criticisms Williamson makes in his book 'Modal Logic as Metaphysics' to my proposed Priorian reduction of possibilist discourse.
This report documents the program and the outcomes of the Seminar 11151 ‘Formal Methods in
In this deliverable we introduce ambient LCC, a language to program interaction models for P2P networks. The language is based on process algebra concepts and is specially designed to support the execution of electronic institutions. An... more
In this tutorial we present two major applications of process algebras to performance modelling. Thefirst is the use of classical or timed process algebra to verify simulation models. The second is the directuse of stochastic process... more
SUMMARY We have already proposed a process algebra µLOTOS as a mathematical framework to synthesize a process from a number of (incomplete) specifications, in which requirements for the process do not have to be completely determined. It... more
We develop a 2-categorical theory for recursively defined domains.<br />In particular, we generalise the traditional approach based on order-theoretic structures to category-theoretic ones. A motivation for this development is the... more