Generating Type Systems for Process Graphs [chapter]

Barbara König
1999 Lecture Notes in Computer Science  
We introduce a hypergraph-based process calculus with a generic type system. That is, a type system checking an invariant property of processes can be generated by instantiating the original type system. We demonstrate the key ideas behind the type system, namely that there exists a hypergraph morphism from each process graph into its type, and show how it can be used for the analysis of processes. Our examples are input/output-capabilities, secrecy conditions and avoiding vicious circles
more » ... ing in deadlocks. In order to specify the syntax and semantics of the process calculus and the type system, we introduce a method of hypergraph construction using concepts from category theory.
doi:10.1007/3-540-48320-9_25 fatcat:okwd3nytwjg7rkahw3gmzus5qm