Gian Luca Cattani
YOU?
Author Swipe
View article: Contexts and embeddings for closed shallow action graphs
Contexts and embeddings for closed shallow action graphs Open
Action calculi, which have a graphical presentation, were introduced to develop a theory shared among different calculi for interactive systems. The π-calculus, the λ-calculus, Petri nets, the Ambient calculus and others may all be represe…