3931 search results - page 45 / 787 » Separation logic and abstraction |
CADE
2004
Springer
15 years 10 months ago
2004
Springer
WSC
2007
15 years 1 days ago
2007
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer n...
ICLP
2003
Springer
15 years 2 months ago
2003
Springer
Abstract logic programming is about designing logic programming languages via the proof theoretic notion of uniform provability. It allows the design of purely logical, very expres...
DSP
2007
14 years 9 months ago
2007
ww.elsevier.com/locate/dsp including abstract, keywords, a cover page containing the title and Author(s) name(s), corresponding
118
click to vote
FUIN
2007
14 years 9 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...