gospel
发表于 2025-4-1 04:30:33
https://doi.org/10.1007/978-3-319-60516-6n..In the first case, starting from the basic ideas of initial and final algebra semantics, we review some recent developments within the behavioral approach and present basic semantical constructions in the framework of an arbitrary specification logic..In the second case, starting with a short ove
预知
发表于 2025-4-1 07:06:14
http://reply.papertrans.cn/17/1663/166229/166229_62.png
有斑点
发表于 2025-4-1 11:01:27
Automata, Languages and Programming978-3-540-46201-9Series ISSN 0302-9743 Series E-ISSN 1611-3349
VEIL
发表于 2025-4-1 15:59:36
http://reply.papertrans.cn/17/1663/166229/166229_64.png