Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
247
search results - page 3 / 50
»
ccs 2007
Sort
relevance
views
votes
recent
update
View
thumb
title
15
click to vote
FORTE
2000
81
views
Formal Methods
»
more
FORTE 2000
»
Implementing CCS in Maude
13 years 7 months ago
Download
maude.sip.ucm.es
Alberto Verdejo, Narciso Martí-Oliet
claim paper
Read More »
12
click to vote
ENTCS
2007
74
views
more
ENTCS 2007
»
State-oriented Noninterference for CCS
13 years 5 months ago
Download
hal.archives-ouvertes.fr
Ilaria Castellani
claim paper
Read More »
10
click to vote
APLAS
2007
ACM
88
views
Programming Languages
»
more
APLAS 2007
»
CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence
13 years 9 months ago
Download
www.cs.unibo.it
Jesús Aranda, Cinzia Di Giusto, Mogens Niel...
claim paper
Read More »
15
click to vote
CALCO
2007
Springer
112
views
Mathematics
»
more
CALCO 2007
»
Impossibility Results for the Equational Theory of Timed CCS
13 years 11 months ago
Download
www.win.tue.nl
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
Luca Aceto, Anna Ingólfsdóttir, Moha...
claim paper
Read More »
10
click to vote
CCS
2007
ACM
95
views
Security Privacy
»
more
CCS 2007
»
Forward-secure signatures in untrusted update environments: efficient and generic constructions
13 years 11 months ago
Download
www.dice.ucl.ac.be
Benoît Libert, Jean-Jacques Quisquater, Moti...
claim paper
Read More »
« Prev
« First
page 3 / 50
Last »
Next »