×

Found 24 Documents (Results 1–24)

Specifying and implementing visual process modeling languages with DiaGen. (English) Zbl 1263.68113

Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 67-79 (2001).
MSC:  68Q60 68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

How to specify a graph transformation approach: a meta model for Fujaba. (English) Zbl 1263.68111

Ehrig, Hartmut (ed.) et al., UNIGRA 2001. Uniform approaches to graphical process specification techniques (a satellite event of ETAPS 2001), Genova, Italy, March 31 – April 1, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 4, 41-51 (2001).
MSC:  68Q60 68Q42 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Concurrency verification. Introduction to compositional and noncompositional methods. (English) Zbl 1009.68020

Cambridge Tracts in Theoretical Computer Science. 54. Cambridge: Cambridge University Press. xxii, 776 p. (2001).
PDFBibTeX XMLCite

A definitional view of Vogt’s variant of the Mazur-Ulam theorem. (English) Zbl 0992.03045

Algebra, geometry and their applications. Seminar proceedings, Yerevan State University, Yerevan, Armenia. Vol. 1, 2001. Yerevan: Yerevan State University Press. 5-10 (2001).
MSC:  03C40 03C75 03C65
PDFBibTeX XMLCite
Full Text: arXiv

Filter Results by …

Document Type

all top 3

Main Field

all top 3

Software