CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Tags
Heisenberg Picture; Language Mirroring; Memory in Quantum Automata; Quantum Automata
high-performance computing
Internet of Things
logic programming
Markov Processes
Modeling
Multiparty session types; Process algebras;· Open systems
Parallelism
Programming
Smart devices
«
»
Cite
×