Design of Reliable Embedded Systems (Academy of Finland)

Component-Based Asynchronous Circuit Design in B
Plosila, J., Sere, K. & Walden, M., 2000, Turku Centre for Computer Science (TUCS). (TUCS Technical Report; nro 377)
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Open access
Tiedosto
21 Lataukset (Pure)
Mobile Components as Topological Action Systems
Petre, L. & Walden, M., 2000, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; Vuosikerta 366)
Tutkimustuotos: Kirja/lehti/raportti › Tutkimusraportti › Ammatillinen

Open access
Tiedosto
28 Lataukset (Pure)
A Topological Approach to Distributed Computing
Petre, L., Sere, K. & Walden, M., 1999, Proceedings of the FCT'99 Workshop on Distributed Systems. Stefanescu, G. (toim.). Elsevier Science, Vuosikerta 28. s. – (Electronic Notes in Theoretical Computer Science; Vuosikerta 28).
Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

Projektin tiedot