Re: [TYPES] Looking for concurrent imperative core Java calculi

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

I'm thinking of
  Plan B: A Buffered Memory Model for Java
  Delphine Demange, Vincent Laporte, Lei Zhao, Suresh Jagannathan,
David Pichardie and Jan Vitek
  http://www.irisa.fr/celtique/pichardie/papers/popl13.pdf
but it focuses on the memory model rather than the language itself, so
the "core" calculus is minimal language-wise (it models memory read
and write, monitor locks acquire/release, creating new threads and
detecting their termination).

On Wed, Jan 21, 2015 at 1:42 PM, Antonio Ravara <[email protected]> wrote:
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
>
> Dear all,
>
> I'm looking for references of works with imperative core Java calculi
> modelling thread-based concurrency and lock-based synchronisation.
>
> I've found Johan Östlund and Tobias Wrigstad Welterweight Java, but I wonder
> if there are other and/or more recent works.
>
> Thanks,
> antonio
> --
> Antonio Ravara
>
> Member of NOVA-LINCS (URL: nova-lincs.di.fct.unl.pt/)
> Assistant Professor at Dep. of Informatics, FCT, Univ. NOVA de Lisboa (New
> University of Lisbon)
> Web page: ctp.di.fct.unl.pt/~aravara/