Towards a Bigraphical Encoding of Actors Michele Sevegnani1,⋆ and Eloi Pereira2,3,⋆⋆ 1 3

First Page		Document Content
Date: 2016-06-12 17:08:37 Formal methods Theoretical computer science Bigraph Academia Lambda calculus Computer science Symbol		Towards a Bigraphical Encoding of Actors Michele Sevegnani1,⋆ and Eloi Pereira2,3,⋆⋆ 1 3 Add to Reading List Source URL: cpcc.berkeley.edu Download Document from Source Website File Size: 433,45 KB Share Document on Facebook