Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by R. De Nicola
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
An Open Logical Framework
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
A Formal Framework for Specifying Concurrent Systems
International Journal of Computer Applications
Verifying Information Flow Properties of Hybrid Systems
The Guided System Development Framework: Modeling and Verifying Communication Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems
International Journal of Systems and Service-Oriented Engineering
Logical Closure Properties of Propositional Proof Systems
Verification and Testing of Concurrent Systems With Action Races
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
A Logical Framework for Reasoning About Delegation Policies in Workflow Management Systems
International Journal of Information and Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Scapegoat: An Adaptive Monitoring Framework for Component-Based Systems