Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase rely-guarantee (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1985-2002 (15) 2003-2007 (18) 2008-2010 (17) 2011-2014 (15) 2015-2019 (20) 2020-2023 (18)
Publication types (Num. hits)
article(31) inproceedings(69) phdthesis(3)
Venues (Conferences, Journals, ...)
CoRR(12) Formal Aspects Comput.(8) CONCUR(5) ESOP(5) POPL(5) ACM Trans. Program. Lang. Syst...(3) FM(3) FME(3) FSTTCS(3) ICFP(2) ITP(2) J. Autom. Reason.(2) TASE(2) VMCAI(2) VSTTE(2) ABZ(1) More (+10 of total 56)
Authors
Cliff B. Jones(9) Ian J. Hayes(9) David Sanán(7) Viktor Vafeiadis(7) Yongwang Zhao(7) Georg Struth(6) Matthew J. Parkinson(6) Xinyu Feng 0001(6) Larissa A. Meinicke(4) Alan Burns 0001(3) Brijesh Dongol(3) David Cachera(3) David Pichardie(3) Delphine Demange(3) Hasan Amjad(3) Qiwen Xu(3) More (+10 of total 153)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 63 occurrences of 53 keywords
Results
Found 103 publication records. Showing 103 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
7Jan Jürjens Secrecy-Preserving Refinement. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
7Jan Jürjens Secure Information Flow for Concurrent Processes. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
7Ketil Stølen A Method for the Development of Totally Correct Shared-State Parallel Programs. Search on Bibsonomy CONCUR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
Displaying result #101 - #103 of 103 (100 per page; Change: )
Pages: [<<][1][2]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license