Product-Form Approximation of Queueing Networks with Phase-Type Service Giuliano Casale, Peter G. Harrison, Maria Grazia Vigliotti Reversed Compound Agent Theorem (RCAT) Product-form approximation of queueing networks with phase-type service.pdf ...
Temporal constraint networks Rina Dechter Israel Institute of Technology, Haifa, Israel Itay Meiri Univ. of California, Los Angeles Judea Pearl Journal Artificial Intelligence - Special issue on knowledge representation archive ...
Branching Time and Abstraction in Bisimulation Semantics ROB J. VAN GLABBEEK AND W. PETER WEIJLAND Centturn (war Wiskunde en Informatica, Amsterdam, The Netherlands JACM 1996 Branching time and abstraction in bisimulation semantics.pdf Abstract. In comparativ ...
An overview of the K semantic framework Grigore Ro,su, Traian Florin ,Serb˘anu,t˘a The Journal of Logic and Algebraic Programming 79 (2010) 397–434 abstract K is an executable semantic framework in which programming languages, calculi, as well as type systems o ...
Editorial Thirty years of algebraic specification The Journal of Logic and Algebraic Programming 67 (2006) 1–2 the ADJ group CASL (the specification language developed within the CoFI initiative) Thirty years of algebraic specificatio ...