×

Found 10 Documents (Results 1–10)

Testing semantics: Connecting processes and process logics. (English) Zbl 1236.68065

Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-35633-2/pbk). Lecture Notes in Computer Science 4019, 308-322 (2006).
MSC:  68Q05 03B70 03G30 68Q55 68Q65
PDFBibTeX XMLCite
Full Text: DOI

On coalgebra of real numbers. (English) Zbl 1094.13541

Jacobs, Bart (ed.) et al., CMCS ‘99. Proceedings of the 2nd workshop on Coalgebraic methods in computer science. A satellite event to the European joint conferences on Theory and practice of software, ETAPS ‘99. Amsterdam, the Netherlands, March 20–21, 1999. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 19, electronic paper No. 9 (1999).
MSC:  13J30 03G30 18B30 03B30
PDFBibTeX XMLCite
Full Text: DOI

Categorical logic of concurrency and interaction. I: Synchronous processes. (English) Zbl 0841.03036

Hankin, C. (ed.) et al., Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 105-141 (1995).
MSC:  03G30 68Q10
PDFBibTeX XMLCite

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field

Software