Unifying the linear time-branching time spectrum of strong process semantics

1. de Frutos Escrig, D.
2. Gregorio Rodríguez, C.
3. Palomino, M.
4. Romero Hernández, D.

Export

Export

×

MLA

modern-language-association

APA

apa

Chicago

chicago-fullnote-bibliography

Harvard

harvard-cite-them-right

Vancouver

vancouver-author-date

---

RIS BibTex

Export

×

This document cannot be exported because it belongs to another portal.

Full text

lock_openFull text externo

DOI: 10.2168/LMCS-9(2:11)2013 GOOGLE SCHOLAR lock_openOpen access editor

Data source: Scopus