Search for Author All Reviews
	Rutten, Jan     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Proving language inclusion and equivalence by coinduction Rot J., Bonsangue M., Rutten J. Information and Computation 24662-76, 2016.  Type: Article Rot et al. present various operations on languages by using the mathematical theory approach in order to prove the similarity of two languages. Four operations are used for the proof of soundness on their technique, called bisimulation...... May 24 2016     Connectors as designs: modeling, refinement and test case generation Meng S., Arbab F., Aichernig B., Aştefănoaei L., de Boer F., Rutten J. Science of Computer Programming 77(7-8): 799-822, 2012.  Type: Article Easing the design and composition of fault-resistant components and their connections has long been a quest for software language developers. This paper shows new ideas for coordination among component services involving the Reo channe...... Jul 5 2012     Contractions in comparing concurrency semantics Kok J. (ed), Rutten J. Theoretical Computer Science 76(2-3): 179-222, 2001.  Type: Article The operational and denotational semantics for the three concurrent imperative languages L0, L1, and L2 have previously been studied by J. W. de Bakker, Kok, and others. Both the operational and the den...... Aug 1 1991
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy