'Structural congruence' presentation slideshows

666 views • 46 slides

Checking ??- Calculus Structural Congruence is Graph Isomorphism Complete

Checking ??- Calculus Structural Congruence is Graph Isomorphism Complete. Victor Khomenko 1 and Roland Meyer 2 1 School of Computing Science, Newcastle University, UK 2 Department of Computing Science, University of Oldenburg, Germany. ??- Calculus Syntax.

324 views • 23 slides

Graphs, reactive systems and mobile ambients

Graphs, reactive systems and mobile ambients. Supervisor: F. Gadducci. Giacoma Valentina Monreale. Sound and complete w.r.t. the structural congruence of MAs. Graphical encoding for MAs. Syntax: P:= 0 , n[P], M.P, (? n)P, P 1 |P 2 M:= in n, out n, open n . ambient name. process.

215 views • 6 slides