Вы здесь

Главная

денотационная семантика

Связанные издания:

A notation of congruence for dtsPBC
Discrete time stochastic Petri box calculus with immediate multiactions
Equivalence relations for behaviour-preserving reduction and modular performance evaluation in dtsPBC
Formal Methods and Software Engineering: Proc./15th International Conference, ICFEM 2013, Queenstown, New Zealand, October 2013
Formal Methods: Foundations and Applications: Proc./20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 2017
Foundations of Software Science and Computational Structures: Proc./15th International Conference, FOSSACS 2012 Held as Part of the European Joint Conferences, ETAPS 2012, Tallinn, Estonia, March 2012
Iteration in discrete time stochastic Petri box calculus
Programming Languages and Systems: Proc./19th European Symposium ESOP 2010, Joint European Conferences ETAPS 2010, Paphos, Cyprus, March 2010
Денотационная семантика процедур, функций и указателей