Sciweavers

The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...

Jeremy Bryans, Carron Shankland

claim paper

Read More »

195

Voted

SAS
2001
Springer

166views Formal Methods» more SAS 2001»

Estimating the Impact of Scalable Pointer Analysis on Optimization

15 years 8 months ago

Download pages.cs.wisc.edu

This paper addresses the following question: Do scalable control-ﬂow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...

Manuvir Das, Ben Liblit, Manuel Fähndrich, Ja...

claim paper

Read More »

114

Voted

SAS
2001
Springer

151views Formal Methods» more SAS 2001»

A Behavioral Module System for the Pi-Calculus

15 years 8 months ago

Download www.cs.ucla.edu

Sriram K. Rajamani, Jakob Rehof

claim paper

Read More »

123

Voted

FORTE
2001

149views Formal Methods» more FORTE 2001»

A Family of Resource-Bound Real-Time Process Algebras

15 years 5 months ago

Download www.cs.ucy.ac.cy

The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...

Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Phi...

claim paper

Read More »

All Subjects

Algorithms

Applied Computing

Artificial Intelligence