Wolf, Karsten; Stahl, Christian; Weinberg, Daniela; Ott, Janine; Danitz, Robert Guaranteeing weak termination in service discovery. (English) Zbl 1242.68188 Fundam. Inform. 108, No. 1-2, 151-180 (2011). MSC: 68Q85 68M11 PDF BibTeX XML Cite \textit{K. Wolf} et al., Fundam. Inform. 108, No. 1--2, 151--180 (2011; Zbl 1242.68188) Full Text: DOI
Raclet, Jean-Baptiste; Badouel, Eric; Benveniste, Albert; Caillaud, Benoît; Legay, Axel; Passerone, Roberto A modal interface theory for component-based design. (English) Zbl 1242.68147 Fundam. Inform. 108, No. 1-2, 119-149 (2011). MSC: 68Q45 03B45 68Q60 PDF BibTeX XML Cite \textit{J.-B. Raclet} et al., Fundam. Inform. 108, No. 1--2, 119--149 (2011; Zbl 1242.68147) Full Text: DOI
Potop-Butucaru, Dumitru; Sorel, Yves; de Simone, Robert; Talpin, Jean-Pierre From concurrent multi-clock programs to deterministic asynchronous implementations. (English) Zbl 1245.68060 Fundam. Inform. 108, No. 1-2, 91-118 (2011). MSC: 68N19 PDF BibTeX XML Cite \textit{D. Potop-Butucaru} et al., Fundam. Inform. 108, No. 1--2, 91--118 (2011; Zbl 1245.68060) Full Text: DOI
Mokhov, Andrey; Khomenko, Victor; Yakovlev, Alex Flat arbiters. (English) Zbl 1241.94042 Fundam. Inform. 108, No. 1-2, 63-90 (2011). MSC: 94C10 68Q85 PDF BibTeX XML Cite \textit{A. Mokhov} et al., Fundam. Inform. 108, No. 1--2, 63--90 (2011; Zbl 1241.94042) Full Text: DOI
Lohmann, Niels; Wolf, Karsten Compact representations and efficient algorithms for operating guidelines. (English) Zbl 1242.68182 Fundam. Inform. 108, No. 1-2, 43-62 (2011). MSC: 68Q85 PDF BibTeX XML Cite \textit{N. Lohmann} and \textit{K. Wolf}, Fundam. Inform. 108, No. 1--2, 43--62 (2011; Zbl 1242.68182) Full Text: DOI
Crafa, Ilvia; Ranzato, Francesco; Tapparo, Francesco Saving space in a time efficient simulation algorithm. (English) Zbl 1255.68100 Fundam. Inform. 108, No. 1-2, 23-42 (2011). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{I. Crafa} et al., Fundam. Inform. 108, No. 1--2, 23--42 (2011; Zbl 1255.68100) Full Text: DOI
Carmona, Josep; Júlvez, Jorge; Cortadella, Jordi; Kishinevsky, Michael A scheduling strategy for synchronous elastic designs. (English) Zbl 1242.68354 Fundam. Inform. 108, No. 1-2, 1-21 (2011). MSC: 68U07 68M20 68Q85 PDF BibTeX XML Cite \textit{J. Carmona} et al., Fundam. Inform. 108, No. 1--2, 1--21 (2011; Zbl 1242.68354) Full Text: DOI
Edwards, Stephen A. (ed.); Janicki, Ryszard (ed.); Vogler, Walter (ed.) Special issue: Application of concurrency to system design. Selected papers based on the presentations at the 9th international conference on the application of concurrency to system design (ACSD), Augsburg, Germany, July 2009. (English) Zbl 1246.68028 Fundam. Inform. 108, No. 1-2, i-vi, 180 p. (2011). MSC: 68-06 68Q85 00B25 PDF BibTeX XML Cite \textit{S. A. Edwards} (ed.) et al., Fundam. Inform. 108, No. 1--2, i-vi, 180~p. (2011; Zbl 1246.68028)