|
Search the dblp DataBase
William Ferreira:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- William Ferreira, Matthew Hennessy, Alan Jeffrey
A Theory of Weak Bisimulation for Core CML. [Citation Graph (0, 0)][DBLP] ICFP, 1996, pp:201-212 [Conf]
- William Ferreira, Matthew Hennessy
Towards a Semantic Theory of CML (Extended Abstract). [Citation Graph (0, 0)][DBLP] MFCS, 1995, pp:454-466 [Conf]
- William Ferreira, Matthew Hennessy, Alan Jeffrey
A Theory of Weak Bisimulation for Core CML. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1998, v:8, n:5, pp:447-491 [Journal]
- William Ferreira, Matthew Hennessy
A Behavioural Theory of First-Order CML. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1999, v:216, n:1-2, pp:55-107 [Journal]
Combining the typed lambda-calculus with CCS. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|