CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
The expressive power of structural operational semantics with explicit assumptions
Marino Miculan
1994-01-01
Cite
DOI
URL
Type
Conference paper
Publication
Types for Proofs and Programs (TYPES 1993)
Theoretical Computer Science; Computer Science (all)
Related
Loose Graph Simulations
Preface
Information Flow Security for Stochastic Processes
A simple criterion for M,N-adhesivity
DBCChecker: A Bigraph-Based Tool for Checking Security Properties of Container Compositions
Cite
×