Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Bernardo, Marco - Dipartimento di Matematica, Fisica e Informatica, Universita’ di Urbino "Carlo Bo"
Integrating TwoTowers and GreatSPN through a Compact Net Semantics
Symbolic Semantic Rules for Producing Compact STGLA from
c The Author 2005. Published by Oxford University Press on behalf of The British Computer Society. All rights reserved. For Permissions, please email: journals.permissions@oupjournals.org
Architecting Families of Software Systems with Process Algebras
Component-Oriented Verification of Noninterference Alessandro Aldini Marco Bernardo
Handling Communications in Process Algebraic Architectural Description Languages
Under consideration for publication in Math. Struct. in Comp. Science A Survey of Modal Logics
A Formal Approach to the Integrated Analysis of Security and QoS
On the Usability of Process Algebra: An Architectural View
Performance Measure Sensitive Congruences for Markovian Process Algebras
Let's Evaluate Performance, Algebraically Marco Bernardo
A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time
Corrigendum to "A Tutorial on EMPA: A Theory of Concurrent Processes with
Comparing the QoS of Internet Audio Mechanisms via Formal Methods
Formal Aspects of Computing (2006) 3: 125 Formal Performance Modelling and
Non-Bisimulation-Based Markovian Behavioral Equivalences
A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems
