Search Results for Semantics.

Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I

Yazar

Italiano, Giuseppe F. editor.

http://dx.doi.org/10.1007/978-3-662-48057-1

Format:

Electronic Resources

Alıntı:

science. They have been organized in the following topical main sections: logic, semantics, automata, and

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings

Yazar

Donatelli, Susanna. editor. (orcid)0000-0002-0911-8457

https://doi.org/10.1007/978-3-030-21571-2

Format:

Electronic Resources

Alıntı:

, Tools, Synthesis, Semantics, Concurrent Processes, Algorithmic Aspects, Parametrics and Combinatorics

Transactions on Petri Nets and Other Models of Concurrency XIV

Yazar

Koutny, Maciej. editor.

https://doi.org/10.1007/978-3-662-60651-3

Format:

Electronic Resources

Alıntı:

. Application areas covered in this volume are: process mining, verification, formal semantics, communication

Business Process Management 17th International Conference, BPM 2019, Vienna, Austria, September 1–6, 2019, Proceedings

Yazar

Hildebrandt, Thomas. editor. (orcid)0000-0002-7435-5563

https://doi.org/10.1007/978-3-030-26619-6

Format:

Electronic Resources

Alıntı:

-- Dynamic Reconfiguration of Business Processes -- A First-Order Logic Semantics for

Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings

Yazar

Gopal, T.V. editor.

https://doi.org/10.1007/978-3-030-14812-6

Format:

Electronic Resources

Alıntı:

-- Unshuffling permutations: Trivial bijections and compositions -- Continuous Team Semantics -- Exact

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I

Yazar

Csuhaj-Varjú, Erzsébet. editor.

http://dx.doi.org/10.1007/978-3-662-44522-8

Format:

Electronic Resources

Alıntı:

, Semantics, Automata, Theory of Programming, Algorithms, Complexity, Parallel and Distributed Computing

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II

Yazar

Csuhaj-Varjú, Erzsébet. editor.

http://dx.doi.org/10.1007/978-3-662-44465-8

Format:

Electronic Resources

Alıntı:

, Semantics, Automata, Theory of Programming, Algorithms, Complexity, Parallel and Distributed Computing

	{displayName}	{count}
{error}