On using temporal logic for refinement and compositional verification of concurrent systems

By Mokkedem A.   Mery D.  

Theoretical Computer Science, Vol. 140, Iss. 1, 1995-03 ,pp. : 95-138

Elsevier

Access to resources Recommend Favorite

Executable Temporal Logic Systems

By  

Journal of Symbolic Computation, Vol. 22, Iss. 5, 1996-11 ,pp. : 721-735

Academic Press

Access to resources Recommend Favorite

Formalization of UML state machines using temporal logic

By Rossi Carlos   Enciso Manuel   de Guzmán Inmaculada P.  

Software and Systems Modeling (SoSyM), Vol. 3, Iss. 1, 2004-03 ,pp. : 31-54

Springer Publishing Company

Access to resources Recommend Favorite

On formalizing social commitments in dialogue and argumentation models using temporal defeasible logic

By Moubaiddin Asma   Obeid Nadim  

Knowledge and Information Systems, Vol. 37, Iss. 2, 2013-11 ,pp. : 417-452

Springer Publishing Company

Access to resources Recommend Favorite

Resetting Vector Clocks in Distributed Systems

By Yen L.H.   Huang T.L.  

Journal of Parallel and Distributed Computing, Vol. 43, Iss. 1, 1997-05 ,pp. : 15-20

Academic Press

Access to resources Recommend Favorite