Skip to main content
Have a personal or library account? Click to login
FSP and FLTL framework for specification and verification of middle-agents Cover

FSP and FLTL framework for specification and verification of middle-agents

International Journal of Applied Mathematics and Computer Science
Volume 21 (2011): Issue 1 (March 2011)
By:  and    
Open Access
|Mar 2011
Articles in this issue
DOI: https://doi.org/10.2478/v10006-011-0001-6 | Journal eISSN: 2083-8492 | Journal ISSN: 1641-876X
Journal RSS Feed
Language: English
Page range: 9 - 25
Published on: Mar 28, 2011
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
multi-agent system,
interaction protocol,
process algebra,
formal specification
Related subjects:
Mathematics,
Applied mathematics

© 2011 Amelia Bădică, Costin Bădică, published by University of Zielona Góra
This work is licensed under the Creative Commons License.

Volume 21 (2011): Issue 1 (March 2011)