26 search results - page 6 / 6 » Unary PCF is Decidable |
154
Voted
FUIN
2007
15 years 1 months 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...