315 search results - page 28 / 63 » What is algebraic in process theory |
HICSS
2003
IEEE
14 years 2 days ago
2003
IEEE
In the challenges faced by organisations in the area of knowledge management, there is clearly a role for information and communications technologies in supporting the exploitatio...
COCOA
2011
Springer
12 years 6 months ago
2011
Springer
The work in this paper is to initiate a theory of testing monomials in multivariate polynomials. The central question is to ask whether a polynomial represented by certain economi...
FOSSACS
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
BIRTHDAY
2010
Springer
13 years 7 months ago
2010
Springer
The title of this paper, besides being a pun, can be taken to mean either the frontier of research in graph transformation, or the advantage of using graph transformation. To focus...
IANDC
2007
13 years 6 months ago
2007
A fundamental result of Büchi states that the set of monadic second-order formulas true in the structure (Nat, <) is decidable. A natural question is: what monadic predicates ...