2106 search results - page 11 / 422 » Operational Semantics for MSC'96 |
SAC
2004
ACM
15 years 3 months ago
2004
ACM
AGP
2003
IEEE
15 years 2 months ago
2003
IEEE
CP
2003
Springer
15 years 2 months ago
2003
Springer
ICFP
2000
ACM
15 years 2 months ago
2000
ACM
Ï ÔÖ × ÒØ Ò ÓÔ Ö Ø ÓÒ Ð × Ñ ÒØ
× ÓÖ Ô Ö ÐÐ Ð Ð ÞÝ Ú Ð¹ Ù Ø ÓÒ Ø Ø
ÙÖ Ø ÐÝ ÑÓ Ð× Ø Ô Ö ÐÐ Ð Ú ÓÙÖ Ó Ø ÒÓÒ¹×ØÖ
...
BIRTHDAY
2009
Springer
14 years 7 months ago
2009
Springer
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A gene...