From Reactions to Observations: the Directed Bigraphical Model

Abstract

where P,Q are systems (processes, programs with state, etc. . . ) and a is a label, that is an observation LTS are used for defining the behaviour of calculi/systems because they endorse most important techniques for verifying properties (e.g., model checking) and observational equivalence (e.g., bisimulations) the labels should be enough to describe… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics