இணை நிராலாக்கி மொழிகள் மற்றும் இணை கணினிகள் நிலையாயிருக்கும் மாதிரியைக் (நினைவக மாதிரி என்றும் அறியப்படும்) கொண்டிருக்கவேண்டும். கணினி நினைவகத்தில் இயக்கங்கள் எவ்வாறு நிகழ்கின்றன மற்றும் விளைவுகள் எவ்வாறு ஏற்படுகின்றன என்பதற்கான விதிமுறைகளை நிலையாயிருக்கும் மாதிரி வரையறுக்கிறது.

நிலையாயிருக்கும் மாதிரிகளில் முதலில் தோன்றியவற்றில் லெஸ்லீ லாம்போர்ட்டின் வரிசைமுறையிலான நிலையாயிருக்கும் மாதிரி ஒன்றாகும். வரிசைமுறையிலான நிலையாயிருக்கும் ஒரு இணை நிரலின் பண்பாகும், அதன் இணை செயற்பாங்கு ஒரு வரிசைமுறையிலான் நிரல் ஏற்படுத்தும் அதே முடிவுகளை இதுவும் ஏற்படுத்தும். குறிப்பாக, "ஏதோவொரு வரிசைமுறையில் எல்லாச் செயலிகளின் இயக்கங்களும் செயல்படுத்தப்பட்டிருப்பதுபோல் எந்தவொரு செயல்பாட்டின் முடிவுகளும் ஒன்றுபோலவே இருந்தால் மற்றும் ஒவ்வொரு தனிப்பட்ட செயலியின் இயக்கங்களும் அதன் செயலி வரைமுறைப்படுத்திய முறையில் இந்த வரிசைமுறையில் தோன்றினால்" ஒரு நிரல் வரிசைமுறையிலான நிலையாயிருக்கும்.

மென்பொருள் பரிமாற்றத்துக்குரிய நினைவகம் பொதுவாக இருக்கும் நிலையாயிருக்கும் மாதிரி. மென்பொருள் பரிமாற்றத்துக்குரிய நினைவகம், அணு பரிமாற்றங்கள் என்னும் கருத்துப்படிவத்தை தரவுத்தள கோட்பாடுகளிலிருந்து பெற்று அவற்றை நினைவக அணுக்கத்திற்குப் பொருத்துகிறது.

கணிதரீதியாக இந்த உருமாதிரிகள் பல்வேறு வழிமுறைகளில் பிரதிநிதிக்கப்படலாம். கார்ல் ஆதாம் பெட்ரியின் 1962 ஆம் ஆண்டு முனைவர் பட்ட ஆய்வேட்டில் அறிமுகப்படுத்தப்பட்ட பெட்ரி நெட், நிலையாயிருக்கும் மாதிரிகளின் விதிமுறைகளைத் தொகுத்தளிக்கும் ஆரம்ப கால முயற்சியாக இருந்தது. பின்னர் இவற்றின் மீது தரவோட்டக் கோட்பாடு உருவாக்கப்பட்டது மற்றும் தரவோட்டக் கோட்பாடுகளின் எண்ணங்களை மெய்யியலாக நடைமுறைப்படுத்த தரவோட்ட கட்டமைப்புகள் உருவாக்கப்பட்டது. 1970 ஆம் ஆண்டுகளின் இறுதிகள் முதலே இடைவினைபுரியும் கூறுகளால் உருவாக்கப்பட்ட அமைப்புகளைப் பற்றிய இயற்கணிப்புக்குரிய காரண ஆய்வை அனுமதிக்கும் விதமாக தொடர்புகொள்ளும் அமைப்புகளின் நுண்கணிதம் மற்றும் தொடர்புகொள்ளும் வரிசைமுறையிலான செயற்பாடு போன்ற செயற்பாட்டு கணிப்பு உருவாக்கப்பட்டன. π-நுண்கணிதம் போன்ற செயற்பாட்டு நுண்கணித குடும்பத்தில் மிகச் சமீபத்திய சேர்த்தல்கள் ஆற்றல்மிகு பரப்புருக்களைப் பற்றிய காரண அறிவைப் பெறுவதற்கான ஆற்றல்களைச் சேர்த்துள்ளன. லாம்போர்ட்டின் TLA+ போன்ற தருக்கமுறைகள் மற்றும் கணிதத்திறகுரிய மாதிரிகளான வரைதல் மற்றும் ஆக்டர் ஈவண்ட் வரைபடங்கள் கூட ஒருங்கிசையும் அமைப்புகளின் நடத்தையைப் பற்றி விவரிப்பதற்காக உருவாக்கப்பட்டிருக்கிறது.

நெறிமுறை-நிலை இணைச் செயற்பாடு
நிலையாயிருக்கும் மாதிரிகள்
சமச்சீரான பல்செயலாக்கம்
பந்தய நிலைகள், பரிமாற்றுத் தவிர்க்கை, ஒத்தியக்கல் மற்றும் இணை வேகக் குறைவு