Titlebook: Logical Foundations of Computer Science; Third International Anil Nerode,Yu. V. Matiyasevich Conference proceedings 1994 Springer-Verlag B

保全

沒血色

Computational and concurrency models of linear logic,

綠州

粘

978-3-540-58140-6Springer-Verlag Berlin Heidelberg 1994

侵略主義

Phonophobia

允許

,Concurrency problem for Horn fragment of Girard’s Linear Logic,In this paper we propose a sufficient condition for a sequence of Horn implications to be concurrent. We prove that the problem of determining of nonconcurrency of a sequence of Horn implications is .-complete.

館長

municipality

形上升才刺激

An approach to effective model-checking of real-time Finite-State Machines in mu-calculus,nal mu-calculus. Formulae in this class have some discipline of alternation of fixed points. The other result extends the model checking techniques to the so-called semilinear class of finite Kripke structures induced by Finite-State Machines with multiple clock functioning in real time.