1788 search results - page 36 / 358 » Model Theory for Process Algebra |
112
Voted
ADBIS
2004
Springer
15 years 6 months ago
2004
Springer
: The purpose of the current work is to explore and improve the analysis of event data stored in event repositories, enabling the application of specialized event algebra operators...
90
Voted
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
110
Voted
ACS
2011
14 years 7 months ago
2011
Using the parallel between the preframe and the suplattice approach to locale theory it is shown that the patch construction, as an action on topologies, is the same thing as the ...
120
click to vote
APIN
1998
15 years 7 days ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
88
Voted
RELMICS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. A Concurrent Kleene Algebra offers two composition operators, one that stands for sequential execution and the other for concurrent n [10]. In this paper we investigate ...