Result 1 to 20 of 174 total
Orchestrating tuple-based languages. (English)
Bruni, Roberto (ed.) et al., Trustworthy global computing. 6th international symposium, TGC 2011, Aachen, Germany, June 9‒10, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-30064-6/pbk). Lecture Notes in Computer Science 7173, 160-178 (2012).
1
Revisiting trace and testing equivalences for nondeterministic and probabilistic processes. (English)
Birkedal, Lars (ed.), Foundations of software science and computational structures. 15th international conference, FOSSACS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28728-2/pbk). Lecture Notes in Computer Science 7213, 195-209 (2012).
2
SoSL: a service-oriented stochastic logic. (English)
Wirsing, Martin (ed.) et al., Rigorous software engineering for service-oriented systems. Results of the SENSORIA project on software engineering for service-oriented computing. Berlin: Springer (ISBN 978-3-642-20400-5/pbk). Lecture Notes in Computer Science 6582, 447-466 (2011).
3
Core calculi for service-oriented computing. (English)
Wirsing, Martin (ed.) et al., Rigorous software engineering for service-oriented systems. Results of the SENSORIA project on software engineering for service-oriented computing. Berlin: Springer (ISBN 978-3-642-20400-5/pbk). Lecture Notes in Computer Science 6582, 153-188 (2011).
4
Linear-time and may-testing in a probabilistic reactive setting. (English)
Bruni, Roberto (ed.) et al., Formal techniques for distributed systems. Joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 31st IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21460-8/pbk). Lecture Notes in Computer Science 6722, 29-43 (2011).
5
Sosl: A service-oriented stochastic logic (English)
Results of the SENSORIA Project, 447-466 (2011).
6
Core calculi for service-oriented computing (English)
Results of the SENSORIA Project, 153-188 (2011).
7
Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic process calculi (English)
PACO, 66-75 (2011).
8
Linear-time and May-testing in a probabilistic reactive setting (English)
FMOODS/FORTE, 29-43 (2011).
9
Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic processes. (English)
Wirsing, Martin (ed.) et al., Trustworthly global computing. 5th international symposium, TGC 2010, Munich, Germany, February 24‒26, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-15639-7/pbk). Lecture Notes in Computer Science 6084, 35-56 (2010).
10
Tree-functors, determinacy and bisimulations. (English)
Math. Struct. Comput. Sci. 20, No. 3, 319-358 (2010).
11
From flow logic to static type systems for coordination languages. (English)
Sci. Comput. Program. 75, No. 6, 376-397 (2010).
12
Uniform labeled transition systems for nondeterministic, probabilistic, and stochastic processes (English)
TGC, 35-56 (2010).
13
A novel approach for attention management in E-learning systems (English)
DMS, 222-227 (2010).
14
Marcaspis: a Markovian extension of a calculus for services. (English)
Electron. Notes Theor. Comput. Sci. 229, No. 4, 11-26 (2009).
15
On a uniform framework for the definition of stochastic process languages. (English)
Alpuente, María (ed.) et al., Formal methods for industrial critical systems. 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2‒3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04569-1/pbk). Lecture Notes in Computer Science 5825, 9-25 (2009).
16
Rate-based transition systems for stochastic process calculi. (English)
Albers, Susanne (ed.) et al., Automata, languages and programming. 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5‒12, 2009. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-02929-5/pbk). Lecture Notes in Computer Science 5556, 435-446 (2009).
17
Provably correct implementations of services. (English)
Kaklamanis, Christos (ed.) et al., Trustworthy global computing. 4th international symposium, TGC 2008, Barcelona, Spain, November 3‒4, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-00944-0/pbk). Lecture Notes in Computer Science 5474, 69-86 (2009).
18
Rate-based transition systems for stochastic process calculi (English)
ICALP (2), 435-446 (2009).
19
On a uniform framework for the definition of stochastic process languages (English)
FMICS, 9-25 (2009).
20
Result 1 to 20 of 174 total
Start
Contact
Print
General Help
