%0 Conference Proceedings
%T A New Representation of Two-Dimensional Patterns and Applications to Interactive Programming
%+ Computer Science and Engineering Department [Bucharest]
%A Banu-Demergian, I.T.
%A Paduraru, C.I.
%A Stefanescu, G.
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 5th International Conference on Fundamentals of Software Engineering (FSEN)
%C Tehran, Iran
%Y Farhad Arbab
%Y Marjan Sirjani
%I Springer Berlin Heidelberg
%3 Fundamentals of Software Engineering
%V LNCS-8161
%P 183-198
%8 2013-04-24
%D 2013
%R 10.1007/978-3-642-40213-5_12
%K regular expressions
%K two-dimensional patterns
%K contours
%K structured interactive programming
%K formal methods
%Z Computer Science [cs]Conference papers
%X Regular expressions and the associated regular algebra provide a rich formalism for specifying and analysing sequential models of computation. For parallel computation, extensions to handle two-dimensional patterns are often required. In this paper we present a new type of regular expressions for two-dimensional patterns based on contours and their composition. Targeted applications comes from the area of modelling, specification, analysis and verification of structured interactive programs via the associated scenario semantics.
%G English
%2 https://inria.hal.science/hal-01514660/document
%2 https://inria.hal.science/hal-01514660/file/978-3-642-40213-5_12_Chapter.pdf
%L hal-01514660
%U https://inria.hal.science/hal-01514660
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC2
%~ IFIP-WG2-2
%~ IFIP-FSEN
%~ IFIP-LNCS-8161