28 search results - page 1 / 6 » Some Remarks on Definability of Process Graphs |
CONCUR
2006
Springer
13 years 8 months ago
2006
Springer
We propose the notions of "density" and "connectivity" of infinite process graphs and investigate them in the context of the wellknown process algebras BPA and ...
SIGSOFT
2008
ACM
2008
ACM
Experience in using a process language to define scientific workflow and generate dataset provenance
14 years 5 months ago
This paper describes our experiences in exploring the applicability of software engineering approaches to scientific data management problems. Specifically, this paper describes h...
COCOA
2010
Springer
13 years 3 days ago
2010
Springer
An intense activity is nowadays devoted to the definition of models capturing the properties of complex networks. Among the most promising approaches, it has been proposed to model...
CCE
2008
13 years 5 months ago
2008
We review the use of bond graphs for modeling of physico-chemical processes. We recall that bond graphs define a circuit-type language which root on a thermodynamical consistent d...
SIROCCO
2010
13 years 6 months ago
2010
We consider asynchronous message-passing systems in which some links are timely and processes may crash. Each run defines a timeliness graph among correct processes: (p, q) is an e...