- the ACM. 12 (10): 576–580. doi:10.1145/363235.363259. S2CID 207726175.
Winskel,
Glynn (1993). The
formal semantics of
programming languages : an introduction...
-
postcondition to the
precondition needed to
establish it. ****ertion (computing)
Winskel,
Glynn (1993-02-05). The
Formal Semantics of
Programming Languages: An...
-
variety of
different models of concurrency,
while Nielsen, S****one, and
Winskel have
demonstrated that
category theory can be used to
provide a similar...
- languages.
Examples include Will Clinger's work with the
actor model;
Glynn Winskel's work with
event structures and
Petri nets; and the work by Francez, ****e...
-
Botswana 2001, pp. 31–32
University of
Botswana 2001, p. 34 Lekgogo, Olemme;
Winskel,
Heather (December 2008). "Learning to read
Setswana and English: Cross-language...
- forbidden. The most
general of
these formalizations is
given by
Glynn Winskel.
Winskel formalizes an
event structure can be
formalized as a
triple ( E , C...
-
relating some of
these models of
concurrency is
proposed in the
chapter by
Winskel and Nielsen.
Boolean differential calculus Business process modeling Com****tional...
-
Tabrizi Patrick Unwin Mihaela van der
Schaar Bart
Vanhaesebroeck Glynn Winskel William Wisden Xiaodong Zhang Kwame Anthony Appiah Anthony Hughes Yakir...
- doi:10.1007/978-3-642-22098-2_57. ISBN 978-3-642-22098-2. S2CID 365542.
Winskel, Heather; Forrester, Declan; Hong, Madelyn; O'Connor,
Kourtney (2021-07-04)...
-
Energy Revolution.
Edward Elgar. ISBN 978-1-78811-261-1.
Ekins P; Skea J;
Winskel M (2011).
Energy 2050: the
transition to a
secure low
carbon energy system...
