×

Found 12 Documents (Results 1–12)

An interpretation of CCS into ludics. (English) Zbl 1433.68247

Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 97-114 (2018).
MSC:  68Q85 03F52
PDFBibTeX XMLCite
Full Text: DOI

Specification and development of interactive systems. Focus on streams, interfaces, and refinement. (English) Zbl 0981.68115

Monographs in Computer Science. New York, NY: Springer. xv, 348 p. (2001).
PDFBibTeX XMLCite
Full Text: DOI

A Cook’s tour of equational axiomatizations for prefix iteration. (English) Zbl 0901.03027

Nivat, Maurice (ed.), Foundations of software science and computation structures. 1st international conference, FoSSaCS ’98. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1378, 20-34 (1998).
MSC:  03B70 68Q55
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software