-
1
المؤلفون: Michel A. Reniers, Tac Tim Willemse, Rja Rob Schoren
المساهمون: Formal System Analysis
المصدر: The Computer Journal, 57(1), 73-92. Oxford University Press
مصطلحات موضوعية: Theoretical computer science, General Computer Science, Branching bisimulation, Computer science, Concurrency, Event based, Minification, Semantic domain, Equivalence (formal languages), Stuttering equivalence
-
2
المؤلفون: Jan Friso Groote, Muck van Weerdenburg, Tac Tim Willemse, Tan Engels
المساهمون: Formal System Analysis
المصدر: Journal of Logic and Algebraic Programming, 78(4), 274-287. Elsevier
مصطلحات موضوعية: Incremental heuristic search, Model checking, Theoretical computer science, Logic, Best-first search, Iterative deepening depth-first search, Theoretical Computer Science, Jump search, Computational Theory and Mathematics, Search algorithm, Random search, Validation, Beam stack search, Beam search, Guided Local Search, Search algorithms, Software, Mathematics