Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1998-2015 (9)
Publication types (Num. hits)
article(2) inproceedings(7)
Venues (Conferences, Journals, ...)
CIT(1) CONCUR(1) FMOODS(1) FSTTCS(1) ICCL Workshop: Internet Progra...(1) Inf. Comput.(1) Intelligent Information Proces...(1) ISPA(1) 计算机科学(1)
Authors
Giuseppe Castagna(4) Francesco Zappa Nardelli(3) Jan Vitek(2) Degui Guo(1) Giorgio Ghelli(1) Jean-Bernard Stefani(1) Jing Zhang(1) Jinzhao Wu(1) Keqing He(1) Licui Zhang(1) Philippe Bidinger(1) Rong Peng(1) Tao Xu(1) Xiaojuan Zheng(1) Xiaozhen Zhong(1) Ying Jin 0002(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 10 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
125Jing Zhang, Licui Zhang, Degui Guo Operational Semantics of the Seal Calculus. Search on Bibsonomy Intelligent Information Processing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Seal Calculus, Mobile computation, operational semantics, abstract machine
98Xiaojuan Zheng, Tao Xu, Ying Jin 0002 Formalizing Active Networks Security with Seal-Calculus. Search on Bibsonomy ISPA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF ANs, active codes, Seal-calculus, security, formalization
60Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli Typing Mobility in the Seal Calculus. Search on Bibsonomy CONCUR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
50Rong Peng, Keqing He, Xiaozhen Zhong SMA Calculus -- A Secure Mobile Agent Calculus. Search on Bibsonomy CIT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF security, access control, mobile agent, Software agents, calculus, cryptographic algorithm
50Giuseppe Castagna, Francesco Zappa Nardelli The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity. Search on Bibsonomy FSTTCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
42Jan Vitek, Giuseppe Castagna Seal: A Framework for Secure Mobile Computations. Search on Bibsonomy ICCL Workshop: Internet Programming Languages The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
40Philippe Bidinger, Jean-Bernard Stefani The Kell Calculus: Operational Semantics and Type System. Search on Bibsonomy FMOODS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Yong Huang 0003, Jinzhao Wu 基于Seal演算的分布式系统安全模型 (Security Model for Distributed System Based on Seal Calculus). Search on Bibsonomy 计算机科学 The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
27Giuseppe Castagna, Jan Vitek, Francesco Zappa Nardelli The Seal Calculus. Search on Bibsonomy Inf. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
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