Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Gruska, Damas P. - Department of Applied Informatics, Comenius University
1 Overview 2 1.1 Concurrency : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2
Timed Network Semantics for Communicating Processes \Lambda Damas P. GRUSKA y Andrea MAGGIOLOSCHETTINI
Timed Process Description Languages Based on CCS
Information-Flow Attacks Based on Limited Observations
Bounded Concurrency Damas P. GRUSKA
Shared Processors versus Shared Networks \Lambda Damas P. GRUSKA
Fundamenta Informaticae 72 (2006) 114 1 Network Information Flow
Process Communication Environment \Lambda Damas P. GRUSKA y Andrea MAGGIOLOSCHETTINI
Process Algebra for Limited Parallelism \Lambda Damas P. GRUSKA
Observation Based System Security Damas P. GRUSKA
Fundamenta Informaticae XX (2010) 115 1 A notion of biological diagnosability inspired by the notion of opacity
Fundamenta Informaticae 85 (2008) 115 1 Probabilistic Information Flow Security
Information-Flow Attacks Based on Limited Observations
Fundamenta Informaticae 93 (2009) 115 1 DOI 10.3233/FI-2009-86
Fundamenta Informaticae 45 (2001) 121 1 Process Algebras for Network Communication
Fundamenta Informaticae 101 (2010) 114 1 DOI 10.3233/FI-2010-256
Fundamenta Informaticae 79 (2007) 112 1 Observation Based System Security
Fundamenta Informaticae XX (2008) 115 1 Security in a Model for Longrunning Transactions
