Research output per year
Research output per year
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Component-Based Asynchronous Circuit Design in B
Plosila, J., Sere, K. & Walden, M., 2000, Turku Centre for Computer Science (TUCS). (TUCS Technical Reports; vol. 377)Research output: Book/Journal/Report › Commissioned report › Professional
Open AccessFile2 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 AccessFile3 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. (Electronic Notes in Theoretical Computer Science; vol. 28).Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review