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; nr. 377)
Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

Öppen tillgång
Fil
21 Nedladdningar (Pure)
Mobile Components as Topological Action Systems
Petre, L. & Walden, M., 2000, Turku Center for Computer Science (TUCS). (TUCS Technical Reports; vol. 366)
Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell

Öppen tillgång
Fil
28 Nedladdningar (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. (red.). Elsevier Science, Vol. 28. s. – (Electronic Notes in Theoretical Computer Science; vol. 28).
Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review

Projektinformation