281 search results - page 5 / 57 » Comparing operational models of name-passing process calculi |
176
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
173
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
For various applications there is the need to compare the similarity between two process models. For example, given the as-is and to-be models of a particular business process, we ...
179
click to vote
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper solves the variation-aware on-chip decoupling capacitance (decap) budgeting problem. Unlike previous work assuming the worst-case current load, we develop a novel stocha...
165
click to vote
FMCO
2005
Springer
16 years 1 days ago
2005
Springer
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
194
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...