Formal specification of agent-object oriented programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Francesco Pagliarecci, Luca Spalazzi, Mark-Oliver Stehr, Carolyn L. Talcott. Formal specification of agent-object oriented programs. In William K. McQuay, Waleed W. Smari, editors, 2008 International Symposium on Collaborative Technologies and Systems, CTS 2008, Irvine, California, USA, May 19-23, 2008. pages 127-134, IEEE, 2008. [doi]

This author has not been identified. Look up 'Francesco Pagliarecci' in GoogleThis author has not been identified. Look up 'Luca Spalazzi' in GoogleThis author has not been identified. Look up 'Mark-Oliver Stehr' in GoogleThis author has not been identified. Look up 'Carolyn L. Talcott' in Google

runs on WebDSL