×

Fundamentals of software engineering. 7th international conference, FSEN 2017, Tehran, Iran, April 26–28, 2017. Revised selected papers. (English) Zbl 1374.68007

Lecture Notes in Computer Science 10522. Cham: Springer (ISBN 978-3-319-68971-5/pbk; 978-3-319-68972-2/ebook). x, 261 p. (2017).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1325.68015].
Indexed articles:
Accattoli, Beniamino; Guerrieri, Giulio, Implementing open call-by-value, 1-19 [Zbl 1498.68063]
Barbon, Gianluca; Leroy, Vincent; Salaün, Gwen, Debugging of concurrent systems using counterexample analysis, 20-34 [Zbl 1498.68150]
Bonchi, Filippo; Lee, Matias David; Rot, Jurriaan, Bisimilarity of open terms in stream GSOS, 35-50 [Zbl 1498.68152]
Gkolfi, Anastasia; Din, Crystal Chang; Johnsen, Einar Broch; Steffen, Martin; Yu, Ingrid Chieh, Translating active objects into colored Petri nets for communication analysis, 84-99 [Zbl 1498.68067]
Kühn, Eva, Flexible transactional coordination in the peer model, 116-131 [Zbl 1498.68189]
Riahi, Shahrzad; Khosravi, Ramtin; Ghassemi, Fatemeh, Purpose-based policy enforcement in actor-based systems, 196-211 [Zbl 1498.68192]
Timm, Nils; Gruner, Stefan; Sibanda, Prince, Model checking of concurrent software systems via heuristic-guided SAT solving, 244-259 [Zbl 1498.68174]

MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Nxx Theory of software
68Qxx Theory of computing
00B25 Proceedings of conferences of miscellaneous specific interest

Citations:

Zbl 1325.68015
PDFBibTeX XMLCite
Full Text: DOI