FSP and FLTL framework for specification and verification of middle-agents (Q3016270)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: FSP and FLTL framework for specification and verification of middle-agents |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | FSP and FLTL framework for specification and verification of middle-agents |
scientific article |
Statements
FSP and FLTL framework for specification and verification of middle-agents (English)
0 references
15 July 2011
0 references
multi-agent system
0 references
interaction protocol
0 references
process algebra
0 references
formal specification
0 references
0 references
