4460 search results - page 45 / 892 » Resources in process algebra |
150
click to vote
RTAS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
141
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
139
click to vote
ENTCS
2008
15 years 4 months ago
2008
We study the algebraic structure of directed bigraphs, a bigraphical model of computations with locations, connections and resources previously introduced as a unifying generaliza...
171
click to vote
IEEEICCI
2009
IEEE
15 years 11 months ago
2009
IEEE
An interval set is an interval in the power set lattice based on a universal set and is a family of subsets of the universal set. Interval sets and interval-set algebras provide a...
315
click to vote
ACMMPC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Functional programs are merely equations; they may be manipulated by straightforward equational reasoning. In particular, one can use this style of reasoning to calculate...