×

zbMATH — the first resource for mathematics

Leifer, James J.

Compute Distance To:
Author ID: leifer.james-j Recent zbMATH articles by "Leifer, James J."
Published as: Leifer, J. J.; Leifer, James J.
Documents Indexed: 8 Publications since 1996

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 55 times in 49 Documents Cited by Year
Deriving bisimulation congruences for reactive systems. Zbl 0999.68141
Leifer, James J.; Milner, Robin
34
2000
Transition systems, link graphs and Petri nets. Zbl 1107.68056
Leifer, James J.; Milner, Robin
10
2006
Acute: high-level programming language design for distributed computation. Zbl 1125.68023
Sewell, Peter; Leifer, James J.; Wansbrough, Keith; Nardelli, Francesco Zappa; Allen-Williams, Mair; Habouzit, Pierre; Vafeiadis, Viktor
7
2007
Acute: high-level programming language design for distributed computation. Zbl 1302.68071
Sewell, Peter; Leifer, James J.; Wansbrough, Keith; Nardelli, Francesco Zappa; Allen-Williams, Mair; Habouzit, Pierre; Vafeiadis, Viktor
2
2005
Global abstraction-safe marshalling with hash types. Zbl 1315.68052
Leifer, James J.; Peskine, Gilles; Sewell, Peter; Wansbrough, Keith
2
2003
Acute: high-level programming language design for distributed computation. Zbl 1125.68023
Sewell, Peter; Leifer, James J.; Wansbrough, Keith; Nardelli, Francesco Zappa; Allen-Williams, Mair; Habouzit, Pierre; Vafeiadis, Viktor
7
2007
Transition systems, link graphs and Petri nets. Zbl 1107.68056
Leifer, James J.; Milner, Robin
10
2006
Acute: high-level programming language design for distributed computation. Zbl 1302.68071
Sewell, Peter; Leifer, James J.; Wansbrough, Keith; Nardelli, Francesco Zappa; Allen-Williams, Mair; Habouzit, Pierre; Vafeiadis, Viktor
2
2005
Global abstraction-safe marshalling with hash types. Zbl 1315.68052
Leifer, James J.; Peskine, Gilles; Sewell, Peter; Wansbrough, Keith
2
2003
Deriving bisimulation congruences for reactive systems. Zbl 0999.68141
Leifer, James J.; Milner, Robin
34
2000

Citations by Year