Titlebook: Mathematical Foundations of Computer Science 1999; 24th International S Miros?aw Kuty?owski,Leszek Pacholski,Tomasz Wierzb Conference proce

愚蠢人

討好美人

Is Your Model Checker on Time?ents of a timed alternation-free .-calculus. For each of the logics we study, we characterize the computational complexity of model checking, as well as its specification and program complexity, using timed automata as our system model.

Cubicle

expdient

instate

978-3-540-66408-6Springer-Verlag Berlin Heidelberg 1999

Limousine

進(jìn)步

孤獨(dú)無(wú)助

New Perspectives in Distributed ComputingThis is an informal introduction to recent developments in the theory of distributed computing, showing how notions from combinatorial and algebraic topology can be used to capture essential aspects of distributed computing.

ETHER

An Improved Disjunctive Strictness Analysis for Lazy Functional LanguagesIn this paper we propose an improved disjunctive strictness analysis system based on the work by Jensen ([.], [.]). The original system does not have the subject reduction property. The new system has the subject reduction property for parallel reduction and is stronger than the original system.

climax