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; no. 377)
Research output: Book/Journal/Report › Commissioned report › Professional

Open Access
File
12 Downloads (Pure)
Mobile Components as Topological Action Systems
Petre, L. & Walden, M., 2000, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 366)
Research output: Book/Journal/Report › Commissioned report › Professional

Open Access
File
26 Downloads (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. (ed.). Elsevier Science, Vol. 28. p. – (Electronic Notes in Theoretical Computer Science; vol. 28).
Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

Project Details