Artikel dengan mandat akses publik - Rob van GlabbeekPelajari lebih lanjut
Tersedia di suatu tempat: 22
Modelling and verifying the AODV routing protocol
R van Glabbeek, P Höfner, M Portmann, WL Tan
Distributed Computing 29 (4), 279-315, 2016
Mandat: Australian Research Council
On characterising distributability
RJ van Glabbeek, U Goltz, JW Schicke-Uffmann
Logical Methods in Computer Science 9 (3:17), 1-58, 2013
Mandat: Australian Research Council, German Research Foundation
Sequence numbers do not guarantee loop freedom: AODV can yield routing loops
R Van Glabbeek, P Höfner, WL Tan, M Portmann
Proceedings of the 16th ACM international conference on Modeling, analysis …, 2013
Mandat: Australian Research Council
Structure preserving bisimilarity, supporting an operational Petri net semantics of CCSP
RJ Glabbeek
Correct System Design, 99-130, 2015
Mandat: Australian Research Council
A mechanized proof of loop freedom of the (untimed) AODV routing protocol
T Bourke, RJ van Glabbeek, P Höfner
Mandat: Australian Research Council
CCS: It’s not Fair!
RJ van Glabbeek, P Höfner
Acta Informatica 52 (2), 175-205, 2015
Mandat: Australian Research Council
On causal semantics of Petri nets
RJ Van Glabbeek, U Goltz, JW Schicke
International Conference on Concurrency Theory, 43-59, 2011
Mandat: German Research Foundation
A timed process algebra for wireless networks with an application in routing
E Bres, R Van Glabbeek, P Höfner
Programming Languages and Systems: 25th European Symposium on Programming …, 2016
Mandat: Australian Research Council
Divide and congruence II: Delay and weak bisimilarity
W Fokkink, R van Glabbeek
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
Mandat: Australian Research Council
Abstract processes of place/transition systems
RJ van Glabbeek, U Goltz, JW Schicke
Information Processing Letters 111 (13), 626-633, 2011
Mandat: German Research Foundation
Ensuring liveness properties of distributed systems: Open problems
R van Glabbeek
Journal of Logical and Algebraic Methods in Programming 109, 100480, 2019
Mandat: Australian Research Council
Real-reward testing for probabilistic processes
Y Deng, R van Glabbeek, M Hennessy, C Morgan
Theoretical Computer Science 538, 16-36, 2014
Mandat: Australian Research Council, National Natural Science Foundation of China …
Cross-chain payment protocols with success guarantees
R van Glabbeek, V Gramoli, P Tholoniat
arXiv preprint arXiv:1912.04513, 2019
Mandat: Australian Research Council
Showing invariance compositionally for a process algebra for network protocols
T Bourke, RJ van Glabbeek, P Höfner
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014
Mandat: Australian Research Council
Feasibility of cross-chain payment with success guarantees
R Van Glabbeek, V Gramoli, P Tholoniat
Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and …, 2020
Mandat: Australian Research Council
Mechanizing a process algebra for network protocols
T Bourke, RJ Van Glabbeek, P Höfner
Journal of Automated Reasoning 56 (3), 309-341, 2016
Mandat: Australian Research Council
On the axiomatizability of impossible futures
T Chen, W Fokkink, R van Glabbeek
Logical Methods in Computer Science 11, 2015
Mandat: Australian Research Council
Modelling mutual exclusion in a process algebra with time-outs
R van Glabbeek
Information and Computation 294, 105079, 2023
Mandat: Royal Society UK
Stronger Validity Criteria for Encoding Synchrony
R van Glabbeek, U Goltz, C Lippert, S Mennicke
The Art of Modelling Computational Systems: A Journey from Logic and …, 2019
Mandat: German Research Foundation
Shoggoth: A Formal Foundation for Strategic Rewriting
X Qin, L O’Connor, R van Glabbeek, P Höfner, O Kammar, M Steuwer
Proceedings of the ACM on Programming Languages 8 (POPL), 61-89, 2024
Mandat: Royal Society UK
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer