Uma biblioteca de padrões de especificação em Event-B para mecanismos de troca de mensagens em sistema distribuídos
Made available in DSpace on 2013-08-07T18:42:49Z (GMT). No. of bitstreams: 1 000444044-Texto+Completo-0.pdf: 1517934 bytes, checksum: 017ad238277ccab4a746e7590ed0bade (MD5) Previous issue date: 2012 === The development of distributed systems and communication protocols is not a trivial task and th...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Pontifícia Universidade Católica do Rio Grande do Sul
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10923/1545 |