William Ferreira
William Ferreira
Verified email at ucl.ac.uk
TitleCited byYear
Emergent: a novel data-set for stance classification
W Ferreira, A Vlachos
NAACL HLT 2016: The 2016 Conference of the North American Chapter of the …, 2016
1122016
A theory of weak bisimulation for core CML
W Ferreira, M Hennessy, A Jeffrey
ACM SIGPLAN Notices 31 (6), 201-212, 1996
451996
A theory of weak bisimulation for core CML
W Ferreira, M Hennessy, A Jeffrey
Journal of Functional Programming 8 (5), 447-491, 1998
341998
Towards a semantic theory of CML
W Ferreira, M Hennessy
International Symposium on Mathematical Foundations of Computer Science, 454-466, 1995
151995
Semantic theories for concurrent ML.
W Ferreira
University of Sussex, 1996
71996
A behavioural theory of first-order CML
W Ferreira, M Hennessy
Theoretical Computer Science 216 (1-2), 55-107, 1999
61999
Combining the Typed# lambda#-calculus with CCS.
W Ferreira, M Hennessy, ASA Jeffrey
School of Cognitive and Computing Sciences, University of Sussex, 1996
51996
Where Are the World's Best Analysts?
CR Harvey, S Radnor, K Mohammed, W Ferreira
Available at SSRN 2337161, 2013
2013
We present and investigate two testing preorders for a value-passing version of CCS, Mil89] which distinguish processes by their observable actions. We develop an operational …
W Ferreira
1997
A Theory of Weak Bisimulation for Core CML (Concurrency Theory and Applications' 96)
W Ferreira, M Hennessy, A Jeffrey
京都大学数理解析研究所, 1997
1997
On Testing the Observable Actions of Processes
W Ferreira
REPORT-UNIVERSITY OF SUSSEX COMPUTER SCIENCE, 1997
1997
The system can't perform the operation now. Try again later.
Articles 1–11