Result 1 to 20 of 178 total
Compositionality of probabilistic Hennessy-Milner logic through structural operational semantics. (English)
Koutny, Maciej (ed.) et al., CONCUR 2012 ‒ concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4‒7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32939-5/pbk). Lecture Notes in Computer Science 7454, 395-409 (2012).
1
Model checking under fairness in prob and its application to fair exchange protocols. (English)
Roychoudhury, Abhik (ed.) et al., Theoretical aspects of computing ‒ ICTAC 2012. 9th international colloquium, Bangalore, India, September 24‒27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32942-5/pbk). Lecture Notes in Computer Science 7521, 168-182 (2012).
2
Divide and congruence: from decomposition of modal formulas to preservation of branching and $η$-bisimilarity. (English)
Inf. Comput. 214, 59-85 (2012).
3
Modal logic and the approximation induction principle. (English)
Math. Struct. Comput. Sci. 22, No. 2, 175-201 (2012).
4
Analysis of gossip-based information propagation in wireless mesh networks. (English)
Thomas, Nigel (ed.), Computer performance engineering. 8th European performance engineering workshop, EPEW 2011, Borrowdale, UK, October 12‒13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24748-4/pbk). Lecture Notes in Computer Science 6977, 174-188 (2011).
5
Stochastic restricted broadcast process theory. (English)
Thomas, Nigel (ed.), Computer performance engineering. 8th European performance engineering workshop, EPEW 2011, Borrowdale, UK, October 12‒13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24748-4/pbk). Lecture Notes in Computer Science 6977, 72-86 (2011).
6
A modeling framework for gossip-based information spread. (English)
Comput. Res. Repos. 2011, Article No. 1105.5986 (2011).
7
Verification of mobile ad hoc networks: an algebraic approach. (English)
Theor. Comput. Sci. 412, No. 28, 3262-3282 (2011).
8
Mean-field framework for performance evaluation of push-pull gossip protocols. (English)
Perform. Eval. 68, No. 2, 157-179 (2011).
9
A high-level framework for distributed processing of large-scale graphs. (English)
Aguilera, Marcos K. (ed.) et al., Distributed computing and networking. 12th international conference, ICDCN 2011, Bangalore, India, January 2‒5, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-17678-4/pbk). Lecture Notes in Computer Science 6522, 155-166 (2011).
10
Distributed MAP in the spinja model checker (English)
PDMC, 84-90 (2011).
11
A high-level framework for distributed processing of large-scale graphs (English)
ICDCN, 155-166 (2011).
12
A modeling framework for gossip-based information spread (English)
QEST, 245-254 (2011).
13
Estimating uncertainty of categorical web data (English)
URSW, 15-26 (2011).
14
Equational reasoning on mobile ad hoc networks. (English)
Fundam. Inform. 105, No. 4, 375-415 (2010).
15
Embedded network protocols for mobile devices. (English)
Kowalewski, Stefan (ed.) et al., Formal methods for industrial critical systems. 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20‒21, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15897-1/pbk). Lecture Notes in Computer Science 6371, 164-179 (2010).
16
Asynchronous bounded expected delay networks. (English)
Comput. Res. Repos. 2010, Article No. 1003.2084 (2010).
17
Lifting non-finite axiomatizability results to extensions of process algebras. (English)
Acta Inf. 47, No. 3, 147-177 (2010).
18
Automated translation and analysis of a ToolBus script for auctions. (English)
Arbab, Farhad (ed.) et al., Fundamentals of software engineering. Third IPM international conference, FSEN 2009, Kish Island, Iran, April 15‒17, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11622-3/pbk). Lecture Notes in Computer Science 5961, 308-323 (2010).
19
Equational reasoning on ad hoc networks. (English)
Arbab, Farhad (ed.) et al., Fundamentals of software engineering. Third IPM international conference, FSEN 2009, Kish Island, Iran, April 15‒17, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11622-3/pbk). Lecture Notes in Computer Science 5961, 113-128 (2010).
20
Result 1 to 20 of 178 total
Start
Contact
Print
General Help
