zbMATH — the first resource for mathematics

Fundamentals of software engineering. 6th international conference, FSEN 2015, Tehran, Iran, April 22–24, 2015. Revised selected papers. (English) Zbl 1325.68015
Lecture Notes in Computer Science 9392. Cham: Springer (ISBN 978-3-319-24643-7/pbk; 978-3-319-24644-4/pbk). x, 317 p. (2015).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually. For the preceding conference see [Zbl 1320.68009].
Indexed articles:
Dal Lago, Ugo; Rioli, Alessandro, Applicative bisimulation and quantum \(\lambda\)-calculi, 54-68 [Zbl 1434.68081]
Hirschkoff, Daniel; Madiot, Jean-Marie; Xu, Xian, A behavioural theory for a \(\pi\)-calculus with preorders, 143-158 [Zbl 1434.68328]
Beohar, Harsh; Mousavi, Mohammad Reza, A pre-congruence format for \(XY\)-simulation, 215-229 [Zbl 1434.68322]

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
Full Text: DOI