ロード中...
Concorrência e sincronização para lógica dinâmica de processos /
[PT] Apresentamos uma Lógica Dinâmica Proposicional que usa termos CCS como programas. O mecanismo de comunicação é baseado em CCS com ações de comunicação e ação silenciosa (Ƭ) representando ações internas. Provamos a completude com respeito à classe de modelos finitos Kripke. Diferentemente da Lóg...
保存先:
| 主要な著者: | , , |
|---|---|
| フォーマット: | Livro |
| 言語: | Português |
| 出版事項: |
UFRJ,
2005
|
| 主題: | |
| オンライン･アクセス: | https://minerva.ufrj.br/F/?func=direct&doc_number=000653581&local_base=UFR01 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|