Submitted Paper
| ID | 19 |
| Submitted | 2006-04-20 |
| Last Update | 2006-04-20 |
| Title | A Generic Framework for Specification of Interacting Components |
| Author(s) | Author #1 Name: Artur Zawłocki Org: Warsaw University Country: Poland Email: zawlocki@mimuw.edu.pl |
| Other Author(s) | |
| Contact Author | Author #1 Alt Email: zawlocki@mimuw.edu.pl Telephone: (+48) 22 55 44 458 |
| Keywords | component systems, concurrency, categorical semantics, institutions, combination of logics |
| Abstract | We develop a logic for specification of systems consisting of interacting concurrent components. The key idea is to use diagrams in some underlying category of components as models of systems. Such a diagram model can represent both structural and behavioural aspects of a system. |
| Topics | |
| Comments | |
| Paper | 19.pdf (62KB) |