Primitives for authentication in process algebras

By Bodei C.   Degano P.   Focardi R.   Priami C.  

Theoretical Computer Science, Vol. 283, Iss. 2, 2002-06 ,pp. : 271-304

Elsevier

Access to resources Recommend Favorite

Mapping OWL-S Process Model to Timed Automata: A Model-Checking Timed Temporal Logic Oriented Approach

By  

Journal of Information Technology Research (JITR), Vol. 11, Iss. 1, 2018-01 ,pp. : 29-48

IGI Global_journal

Access to resources Recommend Favorite

A general conservative extension theorem in process algebras with inequalities

By D'Argenio P.R.   Verhoef C.  

Theoretical Computer Science, Vol. 177, Iss. 2, 1997-05 ,pp. : 351-380

Elsevier

Access to resources Recommend Favorite

Linda-based applicative and imperative process algebras

By Nicola R.D.   Pugliese R.  

Theoretical Computer Science, Vol. 238, Iss. 1, 2000-05 ,pp. : 389-437

Elsevier

Access to resources Recommend Favorite

Design of one-piece flow production system with mixed flows: a timed process flow diagram-based approach

By Li S.G.   Ni Y.   Wang X.   Shi L.   Zhu L.J.  

International Journal of Computer Integrated Manufacturing, Vol. 25, Iss. 11, 2012-11 ,pp. : 996-1010

Taylor & Francis Ltd

Access to resources Recommend Favorite