×

zbMATH — the first resource for mathematics

Found 91 Documents (Results 1–91)

100
MathJax
Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 103-120 (2016).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI Link
Kordon, Fabrice (ed.) et al., Application and theory of Petri nets and concurrency. 37th international conference, PETRI NETS 2016, Toruń, Poland, June 19–24, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39085-7/pbk; 978-3-319-39086-4/ebook). Lecture Notes in Computer Science 9698, 325-344 (2016).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Devillers, Raymond (ed.) et al., Application and theory of Petri nets and concurrency. 36th international conference, PETRI NETS 2015, Brussels, Belgium, June 21–26, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9115, 200-211 (2015).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8489, 334-353 (2014).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI HAL
Lodaya, Kamal (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2010), December 15–18, 2010, Chennai, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-23-1). LIPIcs – Leibniz International Proceedings in Informatics 8, 192-203, electronic only (2010).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link
Lilius, Johan (ed.) et al., Applications and theory of Petri nets. 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21–25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13674-0/pbk). Lecture Notes in Computer Science 6128, 19-38 (2010).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Caillaud, Benoît (ed.) et al., Synthesis and control of discrete event systems. Boston: Kluwer Academic Publishers (ISBN 0-7923-7639-0). 167-182 (2002).
MSC:  93C65 93B07 68Q85
PDF BibTeX XML Cite
Baeten, Jos C. M. (ed.) et al., CONCUR ’99. Concurrency theory. 10th international conference, Eindhoven, the Netherlands, August 24-27, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1664, 210-225 (1999).
MSC:  68Q85
PDF BibTeX XML Cite
Palamidessi, C. (ed.) et al., EXPRESS ’97. Papers from the conference, Santa Margherita Ligure, Italy, September 8–12, 1997. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 7, 20 p. (1997).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: Link
Johnson, Michael (ed.), Algebraic methodology and software technology. 6th international conference, AMAST ’97, Sidney, Australia, December 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1349, 322-336 (1997).
MSC:  18D10 68Q85 68Q10
PDF BibTeX XML Cite
Billington, Jonathan (ed.) et al., Application and theory of Petri nets 1996. 17th international conference, Osaka, Japan, June 24–28, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1091, 346-365 (1996).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Billington, Jonathan (ed.) et al., Application and theory of Petri nets 1996. 17th international conference, Osaka, Japan, June 24–28, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1091, 57-72 (1996).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 103-119 (1991).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software