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