Tuplix Calculus - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Jan A. Bergstra, Alban Ponse, Mark van der Zwaag. Tuplix Calculus. CoRR, abs/0712.3423, 2007. [doi]

The following publications are possibly variants of this publication:

Tuplix CalculusJan A. Bergstra, Alban Ponse, Mark van der Zwaag. cuza, 18:35-61, 2008. [doi]

Tuplix Calculus Specifications of Financial Transfer NetworksJan A. Bergstra, Sanne Nolst Trenité, Mark van der Zwaag. corr, abs/0805.1806, 2008. [doi]

Timed Tuplix Calculus and the Wesseling and van den Bergh EquationJan A. Bergstra, Cornelis A. Middelburg. cuza, 23(2):169-190, 2013. [doi]

Timed tuplix calculus and the Wesseling and van den Berg equationJan A. Bergstra, C. A. Middelburg. corr, abs/0901.3003, 2009. [doi]

runs on WebDSL