1269 search results - page 116 / 254 » Pi-Calculus in Logical Form |
146
click to vote
FUIN
2007
15 years 20 days ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
195
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
125
Voted
KR
2000
Springer
15 years 4 months ago
2000
Springer
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
96
Voted
DIAGRAMS
2006
Springer
15 years 4 months ago
2006
Springer
The intuitive properties of configurations of planar non-overlapping closed curves (boundaries) are presented as a pure boundary mathematics. The mathematics, which is not incorpor...
HPCA
2004
IEEE
16 years 1 months ago
2004
IEEE
For highest performance, a modern microprocessor must be able to determine if an instruction is ready in the same cycle in which it is to be selected for execution. This creates a...