421 search results - page 34 / 85 » Abstract Interpretation of PEPA Models |
CONCUR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
Abstract – This study presents Albert Burroni’s polygraphs as an algebraic and graphical description of first-order functional programs, where functions can have many outputs....
JOLLI
2006
13 years 8 months ago
2006
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...
MICCAI
2000
Springer
14 years 1 days ago
2000
Springer
Abstract. In this paper we describe our environment diSNei, a graphical tool for collaborative image analysis and visualization of models created out of slices of volume data; this...
IANDC
2011
13 years 3 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...