المؤلفون: Jos C. M. Baeten, Cesare Carissimo, Bas Luttik

المصدر: Logical Methods in Computer Science, Vol Volume 19, Issue 1 (2023)

مصطلحات موضوعية: computer science - logic in computer science, computer science - formal languages and automata theory, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/9178/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/5867e0feb44f4bfeb70c2b2b57957434

المؤلفون: Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 41, Iss Proc. EXPRESS 2010, Pp 1-15 (2010)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1011.6429v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/0b8a6a1712414e8483575c0c88515452

المؤلفون: Jos C. M. Baeten, Jasen Markovski

المساهمون: Logic and Computation (ILLC, FNWI/FGw), ILLC (FNWI), Directie

المصدر: Science of Computer Programming, 97(1), 17-22. Elsevier
Science of Computer Programming, 97(1), 17-22

مصطلحات موضوعية: Supervisory control theory, supervisory control theory, Supervisor, Automatic control, Computer science, business.industry, Process (engineering), Software development, software synthesis, Software, Control theory, Software construction, Software engineering, business, model-driven development, Simulation

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::906b1ec4866c36740bd175e374b3164e
https://hdl.handle.net/11245/1.506294

المؤلفون: Jos C. M. Baeten, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda

المساهمون: Control Systems Technology, Directie, Computer Security

المصدر: Complex systems: relationships between control, communications and computing, Part I, 39-58
Complex Systems ISBN: 9783319288581

مصطلحات موضوعية: 0209 industrial biotechnology, Engineering, Supervisor, Process (engineering), business.industry, Time to market, Model-based systems engineering, ComputerApplications_COMPUTERSINOTHERSYSTEMS, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 020901 industrial engineering & automation, Resource (project management), Supervisory control, 010201 computation theory & mathematics, Implementation, Control system, Applications, System of systems engineering, Systems engineering, Model-based engineering, business

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::37d11e74d1c6f15adcfea135db5c69a0
https://research.tue.nl/nl/publications/8d3c91c0-1bd1-4be5-90fb-ef95fb10c5fd

المؤلفون: P. R. D’Argenio, E. P. de Vink, Jasen Markovski, Jos C. M. Baeten

المساهمون: Formal System Analysis

المصدر: Formal Aspects of Computing, 24(4-6), 497-518. Springer

مصطلحات موضوعية: Nondeterministic algorithm, Continuous-time stochastic process, Theory of computation, Probabilistic logic, Standard time, Algorithm, Determinism, Software, Associative property, Theoretical Computer Science, Mathematics, Race condition

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0666fec35c87722c81d79d8b1a1b0e29
https://doi.org/10.1007/s00165-012-0230-y

المؤلفون: Bas Luttik, Tim Muller, Paul van Tilburg, Jos C. M. Baeten

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 41, Iss Proc. EXPRESS 2010, Pp 1-15 (2010)
EXPRESS

مصطلحات موضوعية: Discrete mathematics, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Finite-state machine, Interleaving, Formal Languages and Automata Theory (cs.FL), Modulo, lcsh:Mathematics, Computer Science - Formal Languages and Automata Theory, Star (graph theory), lcsh:QA1-939, lcsh:QA75.5-76.95, Logic in Computer Science (cs.LO), Computer Science::Logic in Computer Science, Quantum finite automata, F.4.1, Regular expression, Nondeterministic finite automaton, F.1.2, F.1.1, lcsh:Electronic computers. Computer science, Generalized star height problem, Computer Science::Formal Languages and Automata Theory, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b3604431258cf86e7fab210a52433b98
https://doaj.org/article/0b8a6a1712414e8483575c0c88515452

المؤلفون: Jos C. M. Baeten, Mario Bravetti

المساهمون: Formal System Analysis, J.C.M. Baeten, M. Bravetti

المصدر: Mathematical Structures in Computer Science, 18(6), 1057-1089. Cambridge University Press

مصطلحات موضوعية: Discrete mathematics, Recursion, Left recursion, Process calculus, Mutual recursion, Operational semantics, Computer Science Applications, Algebra, Mathematics (miscellaneous), Operator (computer programming), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, Transition system, Axiom, Mathematics

وصف الملف: STAMPA

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbcba0f1fd3ae35e5ffbd5294fe9a086
https://doi.org/10.1017/s0960129508007111

المؤلفون: Bas Luttik, Tim Muller, Paul van Tilburg, Jos C. M. Baeten

المساهمون: Directie, ILLC (FNWI), Logic and Computation (ILLC, FNWI/FGw), Theoretical Computer Science, Network Institute, Software and Sustainability (S2), Formal System Analysis

المصدر: Mathematical Structures in Computer Science, Firstview
Baeten, J C M, Luttik, B, Muller, T & van Tilburg, P 2010, Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition. in Proceedings of the 17th Workshop on Expressiveness in Concurrency . Electronic Proceedings in Theoretical Computer Science, pp. 1-15, EXPRESS'10, 1/01/10 .
Mathematical Structures in Computer Science, 26(6), 933-968. Cambridge University Press
Proceedings of the 17th Workshop on Expressiveness in Concurrency, 1-15
STARTPAGE=1;ENDPAGE=15;TITLE=Proceedings of the 17th Workshop on Expressiveness in Concurrency
Mathematical Structures in Computer Science, 26(6), 933-968

مصطلحات موضوعية: Discrete mathematics, Finite-state machine, Interleaving, Modulo, Binary number, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, Composition (combinatorics), Star (graph theory), 01 natural sciences, Computer Science Applications, Mathematics (miscellaneous), 010201 computation theory & mathematics, Computer Science::Logic in Computer Science, 0202 electrical engineering, electronic engineering, information engineering, Regular expression, Computer Science::Formal Languages and Automata Theory, Mathematics

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2655418b2e5d48de9c50f1084b72c276
https://ir.cwi.nl/pub/23313

المؤلفون: Davide Sangiorgi, Jos C. M. Baeten

المساهمون: Directie, J. H. Siekmann, Baeten, Jos C.M., Sangiorgi, Davide

مصطلحات موضوعية: Cognitive science, Programming language, History. Concurrency theory. Coinduction. Bisimulation. Process algebras, Concurrency, Process calculus, Perspective (graphical), computer.software_genre, concurrency theory, Information science, Informatics, ComputingMilieux_COMPUTERSANDEDUCATION, computer, Dijkstra's algorithm, Mathematics

وصف الملف: application/pdf; STAMPA

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d0ca680240dfb0b4a7d55ef91d3b1bc6
https://doi.org/10.1016/b978-0-444-51624-4.50009-5

المؤلفون: Cornelis A. Middelburg, Jos C. M. Baeten

المساهمون: Mathematics and Computer Science

المصدر: Journal of Logic and Algebraic Programming, 48(1-2), 1-38. Elsevier
Logic Group Preprint Series, 200

مصطلحات موضوعية: Logic, Process calculus, Initialization, discrete time, time-dependent conditions, Real time process algebra, Theoretical Computer Science, conditionals, absolute timing, Mathematics, Parametric statistics, ACP, real time, parametric timing, initialization, relative timing, Process (computing), Extension (predicate logic), Algebra, Wijsbegeerte, Computational Theory and Mathematics, Discrete time and continuous time, process algebra, Algorithm, Software

وصف الملف: image/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::93afd83495e3c01e4aa79a86e81af451
https://doi.org/10.1016/s1567-8326(01)00004-2