Author： Dimovski Aleksandar Lazić Ranko
Publisher： Springer Publishing Company
ISSN： 1433-2779
Source： International Journal on Software Tools for Technology Transfer, Vol.9, Iss.1, 2007-02, pp. : 37-51
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Related content
Fully abstract compositional semantics for an algebra of logic programs
Theoretical Computer Science, Vol. 149, Iss. 2, 1995-10 ,pp. :
Access to resources
Recommend
On reduction-based process semantics
Theoretical Computer Science, Vol. 151, Iss. 2, 1995-11 ,pp. :
Formal verification of a leader election protocol in process algebra
By Fredlund L.-a. Groote J.F. Korver H.
Theoretical Computer Science, Vol. 177, Iss. 2, 1997-05 ,pp. :
Automatic Verification of Static Policies on Software Process Models
By Reis R.Q.
Annals of Software Engineering, Vol. 14, Iss. 1-4, 2002-12 ,pp. :