default search action
Theoretical Computer Science, Volume 612
Volume 612, January 2016
- Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier
, Riccardo Traverso:
Parameterized verification of time-sensitive models of ad hoc network protocols. 1-22 - Zhaowei Xu
Completeness of Hoare logic with inputs over the standard model. 23-28 - Bas Luttik
Unique parallel decomposition in branching and weak bisimulation semantics. 29-44 - Haiyu Pan, Yongming Li
Model checking computation tree logic over finite lattices. 45-62 - Chanjuan Liu, Fenrong Liu, Kaile Su
A logical characterization of extensive games with short sight. 63-82 - Friedrich Slivovsky
Soundness of Q-resolution with dependency schemes. 83-101 - Jannik Dreier
On the existence and decidability of unique decompositions of processes in the applied π-calculus. 102-125 - Mingyuan Wu, Lankun Guo
A representation of L-domains by information systems. 126-136 - Alex Gavryushkin
Reducibilities among equivalence relations induced by recursively enumerable structures. 137-152
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-13 00:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: