48 search results - page 10 / 10 » Algebraic Models for Contextual Nets |
PE
2010
Springer
13 years 2 days ago
2010
Springer
Performance prediction and measurement approaches for component-based software systems help software architects to evaluate their systems based on component performance specificat...
ENTCS
2006
13 years 5 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
PE
2011
Springer
13 years 8 days ago
2011
Springer
High-level semi-Markov modelling paradigms such as semi-Markov stochastic Petri nets and process algebras are used to capture realistic performance models of computer and communic...