default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGianna Reggio
Person information
- affiliation: University of Genoa, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j16]Gianna Reggio, Maurizio Leotta
, Filippo Ricca:
A service-oriented method for domain and business process modelling. J. Softw. Evol. Process. 33(2) (2021)- 2020
- [j15]Gianna Reggio, Maurizio Leotta, Maura Cerioli, Romina Spalazzese, Fahed Alkhabbas:
What are IoT systems for real? An experts' survey on software engineering aspects. Internet Things 12: 100313 (2020) - [c106]Gianna Reggio, Egidio Astesiano:
Big-Data/Analytics Projects Failure: A Literature Review. SEAA 2020: 246-255 - [c105]Fahed Alkhabbas, Romina Spalazzese, Maura Cerioli, Maurizio Leotta, Gianna Reggio:
On the Deployment of IoT Systems: An Industrial Survey. ICSA Companion 2020: 17-24
2010 – 2019
- 2019
- [c104]Gianna Reggio, Maurizio Leotta:
A Method-Wise Approach for Selecting the Most Suitable Business Process Modelling Notation. SEAA 2019: 416-425 - [c103]Gianna Reggio, Maurizio Leotta:
An Approach for Selecting the Most Suitable Business Process Modelling Method/Notation. RCIS 2019: 1-2 - 2018
- [j14]Filippo Ricca, Marco Torchiano, Maurizio Leotta, Alessandro Tiso, Giovanna Guerrini, Gianna Reggio:
On the impact of state-based model-driven development on maintainability: a family of experiments using UniMod. Empir. Softw. Eng. 23(3): 1743-1790 (2018) - [j13]Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi:
DUSM: A Method for Requirements Specification and Refinement Based on Disciplined Use Cases and Screen Mockups. J. Comput. Sci. Technol. 33(5): 918-939 (2018) - [c102]Gianna Reggio:
A UML-based proposal for IoT system requirements specification. MiSE@ICSE 2018: 9-16 - [c101]Alessandro Tiso, Gianna Reggio, Maurizio Leotta, Filippo Ricca:
A method for developing model to text transformations. SAC 2018: 138-141 - [c100]Diego Clerissi, Maurizio Leotta, Gianna Reggio, Filippo Ricca:
Towards an approach for developing and testing Node-RED IoT systems. EnSEmble@ESEC/SIGSOFT FSE 2018: 1-8 - 2017
- [j12]Marco Torchiano, Giuseppe Scanniello, Filippo Ricca, Gianna Reggio, Maurizio Leotta:
Do UML object diagrams affect design comprehensibility? Results from a family of four controlled experiments. J. Vis. Lang. Comput. 41: 10-21 (2017) - [c99]Diego Clerissi, Maurizio Leotta, Gianna Reggio, Filippo Ricca:
Towards the Generation of End-to-End Web Test Scripts from Requirements Specifications. RE Workshops 2017: 343-350 - [c98]Gianna Reggio, Maurizio Leotta, Diego Clerissi, Filippo Ricca:
Service-oriented domain and business process modelling. SAC 2017: 751-758 - 2016
- [c97]Diego Clerissi, Maurizio Leotta, Gianna Reggio, Filippo Ricca:
A Lightweight Semi-automated Acceptance Test-Driven Development Approach for Web Applications. ICWE 2016: 593-597 - [c96]Gianna Reggio, Maurizio Leotta, Filippo Ricca, Egidio Astesiano:
Towards a Holistic Method for Business Process Analytics. Monterey Workshop 2016: 168-183 - [c95]Diego Clerissi, Maurizio Leotta, Gianna Reggio, Filippo Ricca:
Test Driven Development of Web Applications: A Lightweight Approach. QUATIC 2016: 25-34 - 2015
- [j11]Gianna Reggio, Filippo Ricca, Giuseppe Scanniello, Francesco Di Cerbo, Gabriella Dodero:
On the comprehension of workflows modeled with a precise style: results from a family of controlled experiments. Softw. Syst. Model. 14(4): 1481-1504 (2015) - [c94]Gianna Reggio, Egidio Astesiano, Christine Choppy:
A Framework for Defining and Comparing Modelling Methods. Software, Services, and Systems 2015: 377-408 - [c93]Gianna Reggio, Maurizio Leotta, Filippo Ricca:
A Method for Requirements Capture and Specification Based on Disciplined Use Cases and Screen Mockups. PROFES 2015: 105-113 - 2014
- [j10]Filippo Ricca, Giuseppe Scanniello, Marco Torchiano, Gianna Reggio, Egidio Astesiano:
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements. ACM Trans. Softw. Eng. Methodol. 24(1): 1:1-1:38 (2014) - [c92]Gianna Reggio, Filippo Ricca, Maurizio Leotta:
Improving the Quality and the Comprehension of Requirements: Disciplined Use Cases and Mockups. EUROMICRO-SEAA 2014: 262-266 - [c91]Alessandro Tiso, Gianna Reggio, Maurizio Leotta:
Unit Testing of Model to Text Transformations. AMT@MoDELS 2014: 14-23 - [c90]Gianna Reggio, Maurizio Leotta, Filippo Ricca:
Who Knows/Uses What of the UML: A Personal Opinion Survey. MoDELS 2014: 149-165 - [c89]Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi:
What Are the Used UML Diagram Constructs? A Document and Tool Analysis Study Covering Activity and Use Case Diagrams. MODELSWARD (Revised Selected Papers) 2014: 66-83 - [c88]Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi:
What are the used Activity Diagram Constructs? - A Survey. MODELSWARD 2014: 87-98 - 2013
- [j9]Marco Torchiano, Federico Tomassetti, Filippo Ricca, Alessandro Tiso, Gianna Reggio:
Relevance, benefits, and problems of software modelling and model driven techniques - A survey in the Italian industry. J. Syst. Softw. 86(8): 2110-2126 (2013) - [c87]Giuseppe Scanniello, Filippo Ricca, Marco Torchiano, Carmine Gravino, Gianna Reggio:
Estimating the Effort to Develop Screen Mockups. EUROMICRO-SEAA 2013: 341-348 - [c86]Gianna Reggio, Maurizio Leotta, Filippo Ricca, Diego Clerissi:
What are the used UML diagrams? A Preliminary Survey. EESSMod@MoDELS 2013: 3-12 - [c85]Alessandro Tiso, Gianna Reggio, Maurizio Leotta:
A Method for Testing Model to Text Transformations. AMT@MoDELS 2013 - [c84]Maurizio Leotta, Filippo Ricca, Marco Torchiano, Gianna Reggio:
Empirical evaluation of uml-based model-driven techniques: Poster paper. RCIS 2013: 1-2 - [c83]Étienne André, Christine Choppy, Gianna Reggio:
Activity Diagrams Patterns for Modeling Business Processes. SERA (selected papers) 2013: 197-213 - 2012
- [c82]Federico Tomassetti, Marco Torchiano, Alessandro Tiso, Filippo Ricca, Gianna Reggio:
Maturity of software modelling and model driven engineering: A survey in the Italian industry. EASE 2012: 91-100 - [c81]Filippo Ricca, Maurizio Leotta, Gianna Reggio, Alessandro Tiso, Giovanna Guerrini, Marco Torchiano:
Using UniMod for maintenance tasks: an experimental assessment in the context of model driven development. MiSE 2012: 77-83 - [c80]Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza:
SOA adoption in the Italian industry. ICSE 2012: 1441-1442 - [c79]Christine Choppy, Gianna Reggio, Khanh-Dung Tran:
Formal or Not, but Precise Modelling of Services with CASL4SOA and SoaML. KSE 2012: 187-194 - [c78]Marco Torchiano, Federico Tomassetti, Filippo Ricca, Alessandro Tiso, Gianna Reggio:
Benefits from modelling and MDD adoption: expectations and achievements. EESSMod@MoDELS 2012: 1:1-1:6 - [c77]Gianna Reggio, Maurizio Leotta, Filippo Ricca, Egidio Astesiano:
Business process modelling: five styles and a method to choose the most suitable one. EESSMod@MoDELS 2012: 8:1-8:6 - [c76]Alessandro Tiso, Gianna Reggio, Maurizio Leotta:
Early experiences on model transformation testing. AMT@MoDELS 2012: 15-20 - [c75]Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza:
An exploratory survey on SOA knowledge, adoption and trend in the Italian industry. WSE 2012: 21-30 - [c74]Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano:
Towards a lightweight model driven method for developing SOA systems using existing assets. WSE 2012: 51-60 - 2011
- [c73]Maurizio Leotta, Filippo Ricca, Gianna Reggio, Egidio Astesiano:
Comparing the Maintainability of Two Alternative Architectures of a Postal System: SOA vs. Non-SOA. CSMR 2011: 317-320 - [c72]Marco Torchiano, Federico Tomassetti, Filippo Ricca, Alessandro Tiso, Gianna Reggio:
Preliminary Findings from a Survey on the MD State of the Practice. ESEM 2011: 372-375 - [c71]Maurizio Leotta, Gianna Reggio, Filippo Ricca, Egidio Astesiano:
Building VECM-based Systems with a Model Driven Approach: an Experience Report. EESSMod@MoDELS 2011 - [c70]Gianna Reggio, Filippo Ricca, Giuseppe Scanniello, Francesco Di Cerbo, Gabriella Dodero:
A Precise Style for Business Process Modelling: Results from Two Controlled Experiments. MoDELS 2011: 138-152 - [c69]Francesco Di Cerbo, Gabriella Dodero, Gianna Reggio, Filippo Ricca, Giuseppe Scanniello:
Precise vs. Ultra-Light Activity Diagrams - An Experimental Assessment in the Context of Business Process Modelling. PROFES 2011: 291-305 - [c68]Gianna Reggio, Maurizio Leotta, Filippo Ricca:
"Precise is better than light" a document analysis study about quality of business process models. EmpiRE 2011: 61-68 - [c67]Francesco Di Cerbo, Gabriella Dodero, Gianna Reggio, Filippo Ricca, Giuseppe Scanniello:
Assessing the Effectiveness of "Precise" Activity Diagrams in the Context of Business Process Modeling. SEBD 2011: 373-380 - 2010
- [c66]Filippo Ricca, Giuseppe Scanniello, Marco Torchiano, Gianna Reggio, Egidio Astesiano:
On the effectiveness of screen mockups in requirements engineering: results from an internal replication. ESEM 2010 - [c65]Filippo Ricca, Giuseppe Scanniello, Marco Torchiano, Gianna Reggio, Egidio Astesiano:
On the effort of augmenting use cases with screen mockups: results from a preliminary empirical study. ESEM 2010 - [c64]Gianna Reggio, Egidio Astesiano, Filippo Ricca, Maurizio Leotta:
A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation. Monterey Workshop 2010: 157-175 - [c63]Christine Choppy, Gianna Reggio:
A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation). SAC 2010: 2451-2458 - [c62]Christine Choppy, Gianna Reggio:
Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation. WADT 2010: 76-97
2000 – 2009
- 2009
- [c61]Christine Choppy, Gianna Reggio:
A method for developing UML state machines. SAC 2009: 382-388 - 2008
- [c60]Christine Choppy, Laure Petrucci, Gianna Reggio:
A Modelling Approach with Coloured Petri Nets. Ada-Europe 2008: 73-86 - [c59]Egidio Astesiano, Gianna Reggio, Filippo Ricca:
Modeling Business within a UML-Based Rigorous Software Development Approach. Concurrency, Graphs and Models 2008: 261-277 - [c58]Maura Cerioli, Giovanni Lagorio, Enrico Morten, Gianna Reggio:
Gesper: Support to Capitalize on Experience in a Network of SMEs. ISoLA 2008: 738-752 - [c57]Egidio Astesiano, Gianna Reggio:
Revising the UML Collaborations: A Well-Founded Approach. Monterey Workshop 2008: 1-23 - 2006
- [j8]Christine Choppy, Gianna Reggio:
A formally grounded software specification method. J. Log. Algebraic Methods Program. 67(1-2): 52-86 (2006) - [c56]Christine Choppy, Gianna Reggio:
Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt. ASWEC 2006: 19-28 - [e6]Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio:
Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings. Lecture Notes in Computer Science 4199, Springer 2006, ISBN 3-540-45772-0 [contents] - 2005
- [j7]Christine Choppy, Gianna Reggio:
A UML-based approach for problem frame oriented software development. Inf. Softw. Technol. 47(14): 929-954 (2005) - [c55]Egidio Astesiano, Gianna Reggio:
From Conditional Specifications to Interaction Charts. Formal Methods in Software and Systems Modeling 2005: 167-189 - [c54]Gianna Reggio:
Tutorials at the MODELS 2005 Conference. MoDELS 2005: 715-718 - [e5]Nicolas Guelfi, Gianna Reggio, Alexander B. Romanovsky:
Scientific Engineering of Distributed Java Applications, 4th InternationalWorkshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3409, Springer 2005, ISBN 3-540-25053-0 [contents] - 2004
- [c53]Christine Choppy, Gianna Reggio:
Improving Use Case Based Requirements Using Formally Grounded Specifications. FASE 2004: 244-260 - [c52]Gianna Reggio:
Towards a Precise UML-Based Development Method. FIDJI 2004: 124 - [c51]Christine Choppy, Gianna Reggio:
Using UML for Problem Frame Oriented Software Development. IASSE 2004: 239-244 - [c50]Zbigniew Huzar, Ludwik Kuzniarz, Gianna Reggio, Jean-Louis Sourrouille:
Consistency Problems in UML-Based Software Development. UML Satellite Activities 2004: 1-12 - [e4]Nicolas Guelfi, Egidio Astesiano, Gianna Reggio:
Scientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003, Revised Papers. Lecture Notes in Computer Science 2952, Springer 2004, ISBN 3-540-21091-1 [contents] - 2003
- [c49]Egidio Astesiano, Gianna Reggio:
Towards a Well-Founded UML-Based Development Method. SEFM 2003: 102- - [c48]Egidio Astesiano, Maurizio Martelli, Viviana Mascardi, Gianna Reggio:
From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques. SEKE 2003: 578-585 - [e3]Nicolas Guelfi, Egidio Astesiano, Gianna Reggio:
Scientific Engineering for Distributed Java Applications, International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002, Revised Papers. Lecture Notes in Computer Science 2604, Springer 2003, ISBN 3-540-00679-6 [contents] - 2002
- [c47]Catalin Amza, Gianna Reggio:
A Notation for Component-Based Design of Java Applications. FIDJI 2002: 155-164 - [c46]Egidio Astesiano, Maura Cerioli, Gianna Reggio:
Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case). RISSEF 2002: 1-15 - [c45]Egidio Astesiano, Gianna Reggio:
Tight Structuring for Precise UML-Based Requirement Specifications. RISSEF 2002: 16-34 - [c44]Egidio Astesiano, Gianna Reggio:
Knowledge structuring and representation in requirement specificaiton. SEKE 2002: 143-150 - [c43]Egidio Astesiano, Gianna Reggio, Maura Cerioli:
From Formal Techniques to Well-Founded Software Development Methods. 10th Anniversary Colloquium of UNU/IIST 2002: 132-150 - [c42]Egidio Astesiano, Gianna Reggio:
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint. WADT 2002: 56-81 - 2001
- [j6]Egidio Astesiano, Gianna Reggio:
Labelled transition logic: an outline. Acta Informatica 37(11-12): 831-879 (2001) - [c41]Egidio Astesiano, Maura Cerioli, Gianna Reggio:
From ADT to UML-Like Modelling. Ershov Memorial Conference 2001: 246 - [c40]Gianna Reggio, Maura Cerioli, Egidio Astesiano:
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. FASE 2001: 171-186 - [c39]Egidio Astesiano, Gianna Reggio:
UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces. ISADS 2001: 127-134 - [e2]Maura Cerioli, Gianna Reggio:
Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers. Lecture Notes in Computer Science 2267, Springer 2001, ISBN 3-540-43159-4 [contents] - 2000
- [j5]Egidio Astesiano, Gianna Reggio:
Formalism and method. Theor. Comput. Sci. 236(1-2): 3-34 (2000) - [c38]Gianna Reggio, Lorenzo Repetto:
CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL. AMAST 2000: 243-257 - [c37]Egidio Astesiano, Maura Cerioli, Gianna Reggio:
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. AMAST 2000: 273-292 - [c36]Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann:
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. FASE 2000: 127-146
1990 – 1999
- 1999
- [j4]Egidio Astesiano, Gianna Reggio, Elena Zucca:
Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages. Sci. Comput. Program. 34(3): 163-190 (1999) - [c35]Roel J. Wieringa, Egidio Astesiano, Gianna Reggio, Alain Le Guennec, Heinrich Hußmann, Klaas van den Berg, Pim van den Broek:
Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues? ECOOP Workshops 1999: 49-55 - [c34]Eva Coscia, Gianna Reggio:
JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. FASE 1999: 77-97 - [c33]Christine Choppy, Gianna Reggio:
Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. WADT 1999: 106-125 - [p1]Egidio Astesiano, Manfred Broy, Gianna Reggio:
Algebraic Specification of Concurrent Systems. Algebraic Foundations of Systems Specification 1999: 467-520 - 1998
- [j3]Maura Cerioli, Gianna Reggio:
Very Abstract Specifications: A Formalism Independent Approach. Math. Struct. Comput. Sci. 8(1): 17-66 (1998) - 1997
- [j2]Gerardo Costa, Gianna Reggio:
Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach. Theor. Comput. Sci. 173(2): 513-554 (1997) - [c32]Gianna Reggio, Mauro Larosa:
A Graphic Notation for Formal Specifications of Dynamic Systems. FME 1997: 40-61 - [c31]Egidio Astesiano, Gianna Reggio:
A Discipline for Handling Feature Interaction. Requirements Targeting Software and Systems Engineering 1997: 95-119 - [c30]Egidio Astesiano, Gianna Reggio:
Formalism and Method. TAPSOFT 1997: 93-114 - 1995
- [c29]Eva Coscia, Gianna Reggio:
Deontic Concepts in the Algebraic Specification of Dynamic Systems: The Permission Case. COMPASS/ADT 1995: 161-181 - [c28]Egidio Astesiano, Gianna Reggio, Franco Morando:
The SMoLCS ToolSet. TAPSOFT 1995: 801-802 - [e1]Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki:
Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers. Lecture Notes in Computer Science 906, Springer 1995, ISBN 3-540-59132-X [contents] - 1994
- [c27]Egidio Astesiano, Gianna Reggio:
A Dynamic Specification of the RPC-Memory Problem. Formal Systems Specification 1994: 67-108 - [c26]Mohamed Bettaz, Aicha Choutri, Gianna Reggio:
A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency. PDP 1994: 551-558 - 1993
- [c25]Maura Cerioli, Gianna Reggio:
Algebraic-Oriented Institutions. AMAST 1993: 201-208 - [c24]Egidio Astesiano, Gianna Reggio:
A Metalanguage for the Formal Requirement Specification of Reactive Systems. FME 1993: 110-128 - [c23]Egidio Astesiano, Gianna Reggio:
Specifying Reactive Systems by Abstract Events. IWSSD 1993: 122-131 - [c22]Egidio Astesiano, Gianna Reggio, Elena Zucca:
Stores as Homomorphisms and their Transformations. MFCS 1993: 242-251 - 1992
- [j1]Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Observational Structures and Their Logics. Theor. Comput. Sci. 96(1): 249-283 (1992) - [c21]Mohamed Bettaz, Gianna Reggio:
A SMoLCS Based Kit for Defining High-Level Algebraic Petri Nets. COMPASS/ADT 1992: 98-112 - [c20]Maura Cerioli, Gianna Reggio:
Institutions for Very Abstract Specifications. COMPASS/ADT 1992: 113-127 - 1991
- [c19]Egidio Astesiano, Alessandro Giovini, Franco Morando, Gianna Reggio:
Algebraic Specification at Work. AMAST 1991: 26-42 - [c18]Egidio Astesiano, Gianna Reggio:
Algebraic Specification of Concurrency. COMPASS/ADT 1991: 1-39 - [c17]Gianna Reggio:
Event Logic for Specifying Abstract Dynamic Data Types. COMPASS/ADT 1991: 292-309 - [c16]Gerardo Costa, Gianna Reggio:
Abstract Dynamic Data Types: A Temporal Logic Approach. MFCS 1991: 103-112 - 1990
- [c15]Gianna Reggio:
Entities: An Institution for Dynamic Systems. ADT 1990: 246-265 - [c14]Gianna Reggio:
A Non-Standard Inductive Semantics. FSTTCS 1990: 362-372 - [c13]Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Processes as Data Types: Observational Semantics and Logic. Semantics of Systems of Concurrent Processes 1990: 1-20
1980 – 1989
- 1988
- [c12]Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Data in a Concurrent Environment. ADT 1988 - [c11]Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Data in a Concurrent Environment. Concurrency 1988: 140-159 - [c10]Egidio Astesiano, Alessandro Giovini, Gianna Reggio:
Generalized Bisimulation in Relational Specifications. STACS 1988: 207-226 - 1987
- [c9]Egidio Astesiano, Alessandro Giovini, Gianna Reggio, Elena Zucca:
An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. Algebraic Methods 1987: 91-116 - [c8]Egidio Astesiano, Gianna Reggio:
Comparing Direct and Continuation Semantics Styles for Concurrent Languages: Revisiting an Old Problem from a New Viewpoint. STACS 1987: 311-322 - [c7]Egidio Astesiano, Gianna Reggio:
SMoLCS-Driven Concurrent Calculi. TAPSOFT, Vol.1 1987: 169-201 - 1986
- [c6]Egidio Astesiano, Gianna Reggio:
An Qutline of the SMoLCS Approach. Mathematical Models for the Semantics of Parallelism 1986: 81-113 - [c5]Egidio Astesiano, Gianna Reggio:
The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction. System Development and Ada 1986: 81-116 - [c4]Egidio Astesiano, Gianna Reggio:
A Syntax-Directed Approach to the Semantics of Concurrent Languages. IFIP Congress 1986: 571-576 - [c3]Egidio Astesiano, Gianna Reggio, Martin Wirsing:
Relational Specifications and Observational Semantics. MFCS 1986: 209-217 - 1985
- [c2]Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing:
On the Parameterized Algebraic Specification of Concurrent Systems. TAPSOFT, Vol.1 1985: 342-358 - 1983
- [c1]Egidio Astesiano, Gianna Reggio:
On the Specification of the Firing Squad Problem. The Analysis of Concurrent Systems 1983: 137-156
Coauthor Index
[c106] [c96] [c94] [j10] [c80] [c77] [c75] [c74] [c73] [c71] [c66] [c65] [c64] [c59] [c57] [c55] [e4] [c49] [c48] [e3] [c46] [c45] [c44] [c43] [c42] [j6] [c41] [c40] [c39] [j5] [c37] [c36] [j4] [c35] [p1] [c31] [c30] [c28] [e1] [c27] [c24] [c23] [c22] [j1] [c19] [c18] [c13] [c12] [c11] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-03 01:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
