1413 search results - page 15 / 283 » Bisimilarity of Open Terms |
90
Voted
ELPUB
2007
ACM
15 years 4 months ago
2007
ACM
It has become very common in the current information society to talk about "open" and to use this term as a quality mark. Open standards, open source software, open arch...
107
Voted
CF
2006
ACM
15 years 4 months ago
2006
ACM
This paper presents our experience mapping OpenMP parallel programming model to the IBM Cyclops-64 (C64) architecture. The C64 employs a many-core-on-a-chip design that integrates...
105
click to vote
BMCBI
2010
15 years 23 days ago
2010
Background: Today, data evaluation has become a bottleneck in chromatographic science. Analytical instruments equipped with automated samplers yield large amounts of measurement d...
103
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
93
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...