Distribution of Computer Jobs in Automatic Control Systems on the Basis of Infinite-valued Logic

By Ainutdinov V. A.   Zaitsev K. S.  

Automation and Remote Control, Vol. 65, Iss. 9, 2004-09 ,pp. : 1496-1502

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Model checking the full modal mu-calculus for infinite sequential processes

By Burkart O.   Steffen B.  

Theoretical Computer Science, Vol. 221, Iss. 1, 1999-06 ,pp. : 251-270

Elsevier

Access to resources Recommend Favorite

Infinite -calculus and types

By Berarducci A.   Dezani-Ciancaglini M.  

Theoretical Computer Science, Vol. 212, Iss. 1, 1999-02 ,pp. : 29-75

Elsevier

Access to resources Recommend Favorite

A logical encoding of the π-calculus: model checking mobile processes using tabled resolution

By Yang Ping   Ramakrishnan C.R.   Smolka Scott A.  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 1, 2004-07 ,pp. : 38-66

Springer Publishing Company

Access to resources Recommend Favorite

Transversality condition for singular infinite horizon calculus of variations

By Ocaña Anaya Eladio   Cartigny Pierre  

Journal of Global Optimization, Vol. 50, Iss. 1, 2011-05 ,pp. : 169-178

Springer Publishing Company

Access to resources Recommend Favorite