3239 search results - page 155 / 648 » A Logical Process Calculus |
109
Voted
QEST
2009
IEEE
15 years 7 months ago
2009
IEEE
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
133
Voted
DDECS
2009
IEEE
15 years 7 months ago
2009
IEEE
— We propose a novel synthesis method of a dual-rail asynchronous two-level logic of reduced cost. It is based on a model that operates under so called modified weak constraints....
98
Voted
FORTE
2001
15 years 2 months ago
2001
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...
119
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a new and retargetable method to identify patterns of instructions with direct support in coarsegrained processing elements (PEs). The method uses a three-addr...
95
Voted
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...