Modelling Interactive Real-time Applications on Service Oriented Infrastructures
暂无分享,去创建一个
[1] Marta Z. Kwiatkowska,et al. Performance analysis of probabilistic timed automata using digital clocks , 2003, Formal Methods Syst. Des..
[2] Roberto Bruni,et al. Theoretical foundations for compensations in flow composition languages , 2005, POPL '05.
[3] Francesco Tiezzi,et al. A Calculus for Orchestration of Web Services , 2007, ESOP.
[4] Laura Bocchi,et al. A Calculus for Long-Running Transactions , 2003, FMOODS.
[5] Thomas A. Henzinger,et al. Reactive Modules , 1999, Formal Methods Syst. Des..
[6] Christel Baier,et al. Approximate Symbolic Model Checking of Continuous-Time Markov Chains , 1999, CONCUR.
[7] Roberto Gorrieri,et al. SOCK : A calculus for service oriented computing , 2006 .
[8] Christel Baier,et al. Model checking for a probabilistic branching time logic with fairness , 1998, Distributed Computing.
[9] Andrea Bianco,et al. Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.
[10] Bengt Jonsson,et al. A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.
[11] Jing Li,et al. Modeling and Verifying Web Services Choreography Using Process Algebra , 2007, 31st IEEE Software Engineering Workshop (SEW 2007).
[12] Manfred Broy,et al. A formal model of services , 2007, TSEM.