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
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
1875
search results - page 34 / 375
»
A Calculus of Broadcasting Systems
Sort
relevance
views
votes
recent
update
View
thumb
title
134
click to vote
BIRTHDAY
2000
Springer
92
views
Applied Computing
»
more
BIRTHDAY 2000
»
A calculus of communicating systems with label passing - ten years after
15 years 10 months ago
Download
www.evernote.com
Uffe Engberg, Mogens Nielsen
claim paper
Read More »
123
click to vote
ADBIS
1999
Springer
87
views
Database
»
more
ADBIS 1999
»
Compositional Specification Calculus for Information Systems Development
15 years 10 months ago
Download
synthesis.ipi.ac.ru
Leonid A. Kalinichenko
claim paper
Read More »
135
click to vote
ICALP
1998
Springer
125
views
Programming Languages
»
more
ICALP 1998
»
Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus
15 years 10 months ago
Download
basics.sjtu.edu.cn
Huimin Lin
claim paper
Read More »
147
click to vote
ECAI
1992
Springer
92
views
Artificial Intelligence
»
more
ECAI 1992
»
A Specialisation Calculus to Improve Expert Systems Communication
15 years 10 months ago
Download
www.iiia.csic.es
Josep Puyol-Gruart, Lluis Godo, Carles Sierra
claim paper
Read More »
132
click to vote
CRYPTO
1991
Springer
98
views
Cryptology
»
more
CRYPTO 1991
»
A Calculus for Access Control in Distributed Systems
15 years 9 months ago
Download
homepages.inf.ed.ac.uk
Martín Abadi, Michael Burrows, Butler W. La...
claim paper
Read More »
« Prev
« First
page 34 / 375
Last »
Next »
