Using coalgebra and coinduction to define ontology-based multi-agent systems
In the past, algebra has been predominantly used to define computer systems. However, computer systems are becoming more dynamic nowadays and algebra is not suitable any more to define such systems. For this reason, coalgebra and coinduction have been introduced into the computer and information soc...
| Main Authors: | , |
|---|---|
| Format: | Journal Article |
| Published: |
Inderscience
2008
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/20.500.11937/4536 |