http://dbpedia.org/resource/List_of_computer_scientists +
, http://dbpedia.org/resource/Typestate_analysis +
, http://dbpedia.org/resource/Formal_methods +
, http://dbpedia.org/resource/Event_monitoring +
, http://dbpedia.org/resource/Communicating_finite-state_machine +
, http://dbpedia.org/resource/Well-structured_transition_system +
, http://dbpedia.org/resource/Computational_biology +
, http://dbpedia.org/resource/Coin_problem +
, http://dbpedia.org/resource/Mivar-based_approach +
, http://dbpedia.org/resource/Krassimir_Atanassov +
, http://dbpedia.org/resource/Model_of_computation +
, http://dbpedia.org/resource/Wil_van_der_Aalst +
, http://dbpedia.org/resource/Product-form_solution +
, http://dbpedia.org/resource/Actor_model +
, http://dbpedia.org/resource/Linear_logic +
, http://dbpedia.org/resource/Denotational_semantics +
, http://dbpedia.org/resource/Double_pushout_graph_rewriting +
, http://dbpedia.org/resource/Grzegorz_Rozenberg +
, http://dbpedia.org/resource/Decision_mining +
, http://dbpedia.org/resource/Technische_Universit%C3%A4t_Darmstadt +
, http://dbpedia.org/resource/Event-driven_programming +
, http://dbpedia.org/resource/Fran%C3%A7ois_Vernadat +
, http://dbpedia.org/resource/YAWL +
, http://dbpedia.org/resource/Cleanroom_software_engineering +
, http://dbpedia.org/resource/Business_process_discovery +
, http://dbpedia.org/resource/Process_architecture +
, http://dbpedia.org/resource/Interaction_technique +
, http://dbpedia.org/resource/CIP-Tool +
, http://dbpedia.org/resource/GPI-Space +
, http://dbpedia.org/resource/Meta-process_modeling +
, http://dbpedia.org/resource/Data-flow_diagram +
|
http://dbpedia.org/ontology/wikiPageWikiLink
|