HIGHLIGHTS
- who: Analyses / Debugging et al. from the Department of Informatics London, UK University of Nantes have published the research work: King`s Research Portal 10.1007/s10270-022-01073-2 Peer reviewed Link to publication record in King`s Research Portal, in the Journal: (JOURNAL)
- what: The authors present a generic framework to integrate execution semantics with either implicit or explicit concurrency models to explore the possible execution traces of conforming models and to define strategies for helping in the exploration of the possible executions. The authors demonstrate how to integrate two representative concurrent meta . . .
If you want to have access to all the content you need to log in!
Thanks :)
If you don't have an account, you can create one here.