CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
TOSCA 2001
Marina Lenisa
,
Marino Miculan
2002-01-01
Cite
Publication
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Related
Modeling fresh names in the π-calculus using abstractions
Proceedings of the Workshop COMETA Computational Metamodels
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic
A simple criterion for M,N-adhesivity
DBCChecker: A Bigraph-Based Tool for Checking Security Properties of Container Compositions
Cite
×