Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1983-1993 (15) 1994-1997 (18) 1998-1999 (16) 2000-2002 (15) 2003-2005 (17) 2006-2009 (15) 2011-2019 (12)
Publication types (Num. hits)
article(24) incollection(2) inproceedings(79) phdthesis(3)
Venues (Conferences, Journals, ...)
CONCUR(11) Formal Aspects Comput.(4) FSTTCS(3) ICALP(3) Inf. Comput.(3) INFINITY(3) POPL(3) Acta Informatica(2) AMAST(2) CAV(2) CoRR(2) FCT(2) FMCO(2) FORTE(2) ICSOC(2) IFM(2) More (+10 of total 68)
Authors
Huimin Lin(10) Matthew Hennessy(10) Anna Ingólfsdóttir(7) C. R. Ramakrishnan 0001(7) Scott A. Smolka(5) Ying Jiang(5) Shichao Liu(4) Dilian Gurov(3) Guang Zheng(3) Jinzhao Wu(3) Julian Rathke(3) Luca Trevisan(3) Michele Boreale(3) Monica Nesi(3) Pascal Poizat(3) Ping Yang 0002(3) More (+10 of total 153)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 35 occurrences of 27 keywords
Results
Found 108 publication records. Showing 108 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
7Shiu-Kai Chin, Jang Dae Kim An Instruction Set Process Calculus. Search on Bibsonomy FMCAD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
7Y. S. Ramakrishna, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren Efficient Model Checking Using Tabled Resolution. Search on Bibsonomy CAV The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
7Michele Boreale, Luca Trevisan Bisimilarity Problems Requiring Exponential Time. Search on Bibsonomy MFCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
7Henrik Reif Andersen, Michael Mendler Describing a Signal Analyzer in the Process Algebra PMC - A Case Study. Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
7Davide Sangiorgi A Theory of Bisimulation for the pi-Calculus. Search on Bibsonomy CONCUR The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
7Dale Miller 0001 The pi-Calculus as a Theory in Linear Logic: Preliminary Results. Search on Bibsonomy ELP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
7Vijay A. Saraswat, Martin C. Rinard Concurrent Constraint Programming. Search on Bibsonomy POPL The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
7Ernst-Rüdiger Olderog, C. A. R. Hoare Specification-Oriented Semantics for Communicating Processes. Search on Bibsonomy ICALP The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
Displaying result #101 - #108 of 108 (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